/lib/scripts/
drwxr-xr-x [up]
-rw-r--r-- 1996-12-02 18:24 +0100 259 getsettings
-rwxr-xr-x 1996-12-02 18:24 +0100 402 isa-xterm
-rwxr-xr-x 1996-12-02 18:24 +0100 1616 run-polyml
-rwxr-xr-x 1996-12-02 18:24 +0100 1231 run-smlnj