diff options
Diffstat (limited to 'bin/d-i_manual.sh')
| -rwxr-xr-x | bin/d-i_manual.sh | 13 |
1 files changed, 3 insertions, 10 deletions
diff --git a/bin/d-i_manual.sh b/bin/d-i_manual.sh index 7a0eaf0b..47680f85 100755 --- a/bin/d-i_manual.sh +++ b/bin/d-i_manual.sh @@ -1,17 +1,10 @@ #!/bin/bash -# Copyright 2012 Holger Levsen <holger@layer-acht.org> +# Copyright 2012,2014 Holger Levsen <holger@layer-acht.org> # released under the GPLv=2 -# -# default settings -# -set -x -set -e -export LC_ALL=C -export MIRROR=http://ftp.de.debian.org/debian -export http_proxy="http://localhost:3128" -export +. /srv/jenkins/bin/common-functions.sh +common_init "$@" init_workspace() { # |