# # Proxy settings # Thanks to: # https://github.com/dangerous/dotfiles # # TODO: The setting of the IP should be perhaps moved to a zshlocal file. alias proxy='export http_proxy=http://192.168.1.248:3128;export HTTP_PROXY=$http_proxy;export https_proxy=$http_proxy;export HTTPS_PROXY=$http_proxy;export ftp_proxy=$http_proxy;export FTP_PROXY=$http_proxy;' alias noproxy='export http_proxy='';export HTTP_PROXY=$http_proxy;export https_proxy=$http_proxy;export HTTPS_PROXY=$http_proxy;export ftp_proxy=$http_proxy;export FTP_PROXY=$http_proxy;' # run only if I am at work if [ `ifconfig | grep 10.10.0 | wc -l` = 1 ]; then proxy fi if [ `ifconfig | grep 192.168.2 | wc -l` = 1 ]; then proxy fi