From 734dcb2185dedde8d4bc82278d1e6b169be44d50 Mon Sep 17 00:00:00 2001 From: Ramesh Santhanakrishnan Date: Fri, 8 Feb 2019 22:01:29 -0800 Subject: [PATCH] [build]: apply proxy setting to curl. (#2544) --- build_debian.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build_debian.sh b/build_debian.sh index d36eff8787..98881b5094 100755 --- a/build_debian.sh +++ b/build_debian.sh @@ -170,7 +170,7 @@ sudo LANG=C chroot $FILESYSTEM_ROOT apt-get -y install apt-transport-https \ curl \ gnupg2 \ software-properties-common -sudo LANG=C chroot $FILESYSTEM_ROOT curl -o /tmp/docker.gpg -fsSL https://download.docker.com/linux/debian/gpg +sudo https_proxy=$https_proxy LANG=C chroot $FILESYSTEM_ROOT curl -o /tmp/docker.gpg -fsSL https://download.docker.com/linux/debian/gpg sudo LANG=C chroot $FILESYSTEM_ROOT apt-key add /tmp/docker.gpg sudo LANG=C chroot $FILESYSTEM_ROOT rm /tmp/docker.gpg sudo LANG=C chroot $FILESYSTEM_ROOT add-apt-repository \