diff options
| -rwxr-xr-x | update_jdn.sh | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/update_jdn.sh b/update_jdn.sh index 792d9353..8c10e747 100755 --- a/update_jdn.sh +++ b/update_jdn.sh @@ -1,10 +1,9 @@ #!/bin/bash - -set -e - # Copyright 2012-2016 Holger Levsen <holger@layer-acht.org> # released under the GPLv=2 +set -e + BASEDIR=$HOME/jenkins.debian.net PVNAME=/dev/vdb # LVM physical volume for jobs VGNAME=jenkins01 # LVM volume group |