dotfiles/zsh/custom/proxy.zsh

#
# 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