gc.sh: add Git 1.8.5 and later gc.pid compatibility
[girocco.git] / toolbox / run-jobd.sh
blob3b1054e80a7861a2b824ba989f3fbadb2cd6b2df
1 #!/bin/bash
3 cd "$HOME"
5 DEFAULTOPTS="-q -P --load-triggers 12,6 -d 300"
7 if [ "$1" = "--shell" ]; then
8 shift
9 trap 'exec "$SHELL" -l -i' EXIT
10 /usr/bin/nice -n 18 perl -I@basedir@/jobd @basedir@/jobd/jobd.pl $DEFAULTOPTS "$@"
11 exit
13 exec /usr/bin/nice -n 18 perl -I@basedir@/jobd @basedir@/jobd/jobd.pl $DEFAULTOPTS "$@"