Wed, 22 Sep 2010 00:45:42 +0200 | wenzelm | more robust lib/scripts/process, with explicit script/no_script mode; | file | diff | annotate |
Mon, 20 Sep 2010 23:36:26 +0200 | wenzelm | refined ML/Scala bash wrapper, based on more general lib/scripts/process; | file | diff | annotate |
Sun, 07 Feb 2010 20:21:38 +0100 | wenzelm | modernized perl scripts: prefer standalone executables; | file | diff | annotate |
Sat, 06 Feb 2010 14:50:55 +0100 | wenzelm | renamed system/system_out to bash/bash_output -- to emphasized that this is really GNU bash, not some undefined POSIX sh; | file | diff | annotate | base |