3 if ip addr |
grep -q " 10.50."
5 P
="http://localhost:3129"
6 echo export LOCATION
=work
7 echo export http_proxy
=$P
8 echo export https_proxy
=$P
9 elif ip addr |
grep -q " 172.17.2."
11 echo export LOCATION
=home
13 echo unset https_proxy
14 echo export http_proxy
15 echo export https_proxy
18 echo export LOCATION
=other
20 echo unset https_proxy
21 #echo export http_proxy
22 # echo export https_proxy