diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/chroot-run.sh | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/bin/chroot-run.sh b/bin/chroot-run.sh index 5d409040..3103bc23 100755 --- a/bin/chroot-run.sh +++ b/bin/chroot-run.sh @@ -12,25 +12,25 @@ export LC_ALL=C # Defaults for the jenkins.debian.net environment if [ -z "$MIRROR" ]; then - export MIRROR=http://ftp.de.debian.org/debian + export MIRROR=http://ftp.de.debian.org/debian fi if [ -z "$http_proxy" ]; then - export http_proxy="http://localhost:3128" + export http_proxy="http://localhost:3128" fi if [ -z "$CHROOT_BASE" ]; then export CHROOT_BASE=/chroots fi if [ $# -lt 2 ]; then - echo "usage: $0 DISTRO CMD [ARG1 ARG2 ...]" - exit 1 + echo "usage: $0 DISTRO CMD [ARG1 ARG2 ...]" + exit 1 fi DISTRO="$1" shift if [ ! -d "$CHROOT_BASE" ]; then - echo "Directory $CHROOT_BASE does not exist, aborting." + echo "Directory $CHROOT_BASE does not exist, aborting." exit 1 fi @@ -50,7 +50,7 @@ export LC_ALL=C export http_proxy=$http_proxy" bootstrap() { - sudo debootstrap $DISTRO $CHROOT_TARGET $MIRROR + sudo debootstrap $DISTRO $CHROOT_TARGET $MIRROR cat > $CHROOT_TARGET/tmp/chroot-prepare <<-EOF $SCRIPT_HEADER @@ -63,7 +63,7 @@ apt-get update EOF chmod +x $CHROOT_TARGET/tmp/chroot-prepare - sudo chroot $CHROOT_TARGET /tmp/chroot-prepare + sudo chroot $CHROOT_TARGET /tmp/chroot-prepare } cleanup() { |