https://anirudhastark.wordpress.com/2014/01/04/ubuntu-proxy-settings/