Der globale Proxy für Linux Mint muss folgendermaßen festgelegt werden:
sudo nano /etc/environment
Dort folgende Einträge zufügen oder abändern:
http_proxy=http://Proxy:Port/
https_proxy=http://Proxy:Port/
ftp_proxy=http://Proxy:Port/
no_proxy=”localhost,127.0.0.1,localaddress,.localdomain.com”
HTTP_PROXY=http://Proxy:Port/
HTTPS_PROXY=http://Proxy:Port/
FTP_PROXY=http://Proxy:Port/
NO_PROXY=”localhost,127.0.0.1,localaddress,.localdomain.com”
Dann noch folgende Datei editieren:
sudo nano /etc/apt/apt.conf.d/S95proxies
Und folgende Einträge zufügen oder abändern:
Acquire::http::proxy "http://Proxy:Port/";
Acquire::https::proxy "http://Proxy:Port/";
Acquire::ftp::proxy "http://Proxy:Port/";