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 […]