https://www.tosolini.info/2013/12/ubuntu-server-12-04-configurare-proxy-su-apt-get/