https://blog.khairulazam.net/2016/10/16/configuring-proxy-for-apt-in-ubuntu/