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