Add proxy to apt for Linux

Create a file /etc/apt/apt.conf and add the following lines if you cannot do apt update etc

Acquire::http::proxy "http://proxy-server:port";
Acquire::https::proxy "https://proxy-server:port";