update-nutools ignore par défaut l'eventuel proxy défini par http_proxy

This commit is contained in:
Jephté Clain 2015-07-17 22:01:59 +04:00
parent 13215c364a
commit 7e2a6c3aec
1 changed files with 2 additions and 0 deletions

View File

@ -8,6 +8,8 @@ PUB_REPO=http://vcs.univ-reunion.fr/anongit/modules/nutools.git
NAME=nutools NAME=nutools
################################################################################ ################################################################################
[ -z "$update_nutools_use_proxy" ] && export http_proxy=
CURL="$(which curl 2>/dev/null)" CURL="$(which curl 2>/dev/null)"
WGET="$(which wget 2>/dev/null)" WGET="$(which wget 2>/dev/null)"
if [ -n "$NUTOOLS_REPO" ]; then if [ -n "$NUTOOLS_REPO" ]; then