Podpowiedź do rozwiązania znalazłem na forach Ubuntu , gdzie użytkownik wysłał link do Gnome Developer Center wyjaśniający konfigurację Gnome Shell. Moje rozwiązanie wyjaśnia, co zrobić dla Unity.
Będziesz musiał zainstalować narzędzia dconf, jeśli jeszcze go nie masz:
sudo apt-get install dconf-tools
Następnie uruchom narzędzie (na przykład naciskając Ctrl + F2 , a następnie wpisując edytor dconf i naciskając Enter ).
Rozwiń system kluczy w lewym okienku i kliknij klucz proxy . W prawym okienku otrzymasz miejsce do wpisania listy ignorowanych serwerów proxy ( ignore-hosts ).
W kluczowym proxy i jego podkluczach ( ftp , http , https i skarpety ) możesz skonfigurować więcej opcji proxy, które nie są dostępne w nowym, błyszczącym, ale prawie bezużytecznym interfejsie GUI.
Nie zapomnij wylogować się i zalogować ponownie, aby aktywować konfigurację!
Jedyna różnica dla Unity w porównaniu z Gnome Shell polega na tym, że klucze do modyfikacji dla Gnome Shell znajdują się w kluczu org.gnome.system.proxy.