/bin/
drwxr-xr-x [up]
drwxr-xr-x nashorn
-rw-r--r-- 2018-10-05 16:47 +0200 2236 blessed-modifier-order.sh
-rw-r--r-- 2018-10-05 16:47 +0200 4828 idea.sh
-rw-r--r-- 2018-10-05 16:47 +0200 4961 jib.sh
-rw-r--r-- 2018-10-05 16:47 +0200 1723 print-config.js
-rw-r--r-- 2018-10-05 16:47 +0200 9669 unshuffle_list.txt
-rw-r--r-- 2018-10-05 16:47 +0200 6213 unshuffle_patch.sh