Ovviamente al posto di ADDRESS e PORT ho messo l'indirizzo del proxy e la porta (i server proxy funzionano correttamente).
Inoltre, ho provato anche ad aggiungere la linea export no_proxy="localhost,127.0.0.0/8,*.local" ma senza risultati.
Non riesco in alcun modo a cambiare server proxy da terminale. Se invece lo cambio cliccando su System > Preferences > Network Proxy funziona tutto perfettamente ma, ripeto, mi servirebbe cambiare proxy da terminale.
Se qualcuno č disposto ad aiutarmi e darmi una risposta esaustiva č ben accetto.