Tue, 08 May 2012 11:36:14 +0200 | Matthias Förste | fix any noncritical problems automatically | file | diff | annotate |
Fri, 04 May 2012 15:37:10 +0200 | Matthias Förste | cleanup at exit; back to bash because dash is broken: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=390433 | file | diff | annotate |
Fri, 04 May 2012 13:10:26 +0200 | Matthias Förste | use 'set -e'; fixed exit codes (negative numbers are invalid) | file | diff | annotate |
Fri, 04 May 2012 12:12:06 +0200 | Matthias Förste | should work with any posix shell (not just bash) | file | diff | annotate | base |