mg-debian-installer-update: Honour HttpProxy for wget

This script uses wget, not just `fetch'.  Set the http_proxy
environment variable, as that's the way to get wget to DTRT.

Signed-off-by: Ian Jackson <Ian.Jackson@eu.citrix.com>

diff --git a/mg-debian-installer-update b/mg-debian-installer-update
index 0d4f772dff4ea3490d8b228bacfbd60d70b86a66..38ae782b85cd596615f310435349edd475bea4c9 100755 (executable)
--- a/mg-debian-installer-update
+++ b/mg-debian-installer-update
@@ -64,6 +64,10 @@ dstroot=`getconfig TftpPath`/`getconfig TftpDiBase`/
 date=`date +%Y-%m-%d`
 dst=$arch/$date-$suite
 
+case "`getconfig HttpProxy`" in
+?*)    export http_proxy=`getconfig HttpProxy` ;;
+esac
+
 cd $dstroot
 mkdir -p $dst
 cd $dst