File tree Expand file tree Collapse file tree 1 file changed +9
-7
lines changed Expand file tree Collapse file tree 1 file changed +9
-7
lines changed Original file line number Diff line number Diff line change @@ -66,13 +66,15 @@ cd $WORKING_DIRECTORY
6666git config --global advice.detachedhead false
6767git config --global credential.helper " /bin/sh -c 'echo username=$USERNAME ; echo password=$PASSWORD '"
6868
69- if [ -n " $HTTP_PROXY " ]; then
70- echo " Using HTTP_PROXY"
71- git config --global http.proxy " $HTTP_PROXY "
72- else
73- if [ -n " $HTTPS_PROXY " ]; then
74- echo " Using HTTPS_PROXY"
75- git config --global http.proxy " $HTTPS_PROXY "
69+ if [ " $USE_PROXY " = " true" ]; then
70+ if [ -n " $HTTP_PROXY " ]; then
71+ echo " Using HTTP_PROXY"
72+ git config --global http.proxy " $HTTP_PROXY "
73+ else
74+ if [ -n " $HTTPS_PROXY " ]; then
75+ echo " Using HTTPS_PROXY"
76+ git config --global http.proxy " $HTTPS_PROXY "
77+ fi
7678 fi
7779fi
7880
You can’t perform that action at this time.
0 commit comments