jakob/myshellconfig
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

rework unsetproxy

Browse source
This commit is contained in:
Jakobus Schürz 2020-02-27 15:34:47 +01:00
parent afeb508724
commit 51d751a8b0
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
functions.sh
View file

@ -72,6 +72,8 @@ setproxy () {
source "${CONFIG}"
echo "sourced"
export PROXY_CREDS="${PROXY_USER}:${PROXY_PASS}@"
export proxy_user=$PROXY_USER
export proxy_pass=$PROXY_PASS
else
echo "${CONFIG} not existing"
export PROXY_CREDS=""
@ -195,8 +197,10 @@ ${KERBEROS_PASSWORD}
}
unsetproxy () {
unset {http,https,fpt}_proxy
unset {HTTP,HTTPS,FPT}_PROXY
unset PROXY_{CREDS,USER,PASS,SERVER,PORT}
unset {http,https,fpt}_proxy
unset proxy_{creds,user,pass,server,port}
}
git-mergedetachedheadtomaster () {