An Eternal Quest for Incremental Improvement
My debian laptop is connected to Internet directly at home and through
a HTTP proxy at office. For handling apt-get, I was having a
shell script which sets the HTTP_PROXY, http_proxy,
FTP_PROXY, ftp_proxy environment variables to the
approrpriate proxy server on demand and then I do sudo apt-get
<whatever>. All ...