The IT guys at work changed the network so that we have to go through a caching proxy server to get out to the internet. What changes do I need to make so I can use apt? TIA John