diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-04-06 18:14:00 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-04-18 18:02:25 +0200 |
| commit | 0aa7517b0c8f58b4fb68eac29a73def9fe447a12 (patch) | |
| tree | 060088ea1f86da55c49a6eaa7bdccad6de102c44 /bin | |
| parent | 5eb9510586770c4df7b90f657fdae87fda4050b4 (diff) | |
| download | jenkins.debian.net-0aa7517b0c8f58b4fb68eac29a73def9fe447a12.tar.xz | |
reproducible: setup_schroot: set up apt http_proxy in the chroot only if $http_proxy is defined
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_setup_schroot.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/reproducible_setup_schroot.sh b/bin/reproducible_setup_schroot.sh index c8f9a569..41dc2354 100755 --- a/bin/reproducible_setup_schroot.sh +++ b/bin/reproducible_setup_schroot.sh @@ -47,7 +47,9 @@ bootstrap() { echo -e '#!/bin/sh\nexit 101' | sudo tee $CHROOT_TARGET/usr/sbin/policy-rc.d >/dev/null sudo chmod +x $CHROOT_TARGET/usr/sbin/policy-rc.d - echo "Acquire::http::Proxy \"$http_proxy\";" | sudo tee $CHROOT_TARGET/etc/apt/apt.conf.d/80proxy >/dev/null + if [ ! -z "$http_proxy" ] ; then + echo "Acquire::http::Proxy \"$http_proxy\";" | sudo tee $CHROOT_TARGET/etc/apt/apt.conf.d/80proxy >/dev/null + fi echo "deb-src $MIRROR $SUITE main" | sudo tee -a $CHROOT_TARGET/etc/apt/sources.list > /dev/null sudo chroot $CHROOT_TARGET apt-get update |