Ich habe in den Ubuntu-Foren einen Hinweis auf die Lösung gefunden, in dem ein Benutzer einen Link zum Gnome Developer Center gesendet hat , in dem die Konfiguration für Gnome Shell erläutert wird. Meine Lösung erklärt, was für Unity zu tun ist.
Sie müssen dconf-tools installieren , wenn Sie es noch nicht haben:
sudo apt-get install dconf-tools
Führen Sie dann das Tool aus (drücken Sie beispielsweise Strg + F2 , geben Sie dann dconf-editor ein und drücken Sie die Eingabetaste ).
Erweitern Sie den Schlüssel - System auf der linken Seite und klicken Sie auf den Proxy - Schlüssel. Im rechten Bereich finden Sie den Ort, an dem Sie die Liste der ignorierten Proxys ( Ignore-Hosts ) eingeben können .
In dem Schlüssel- Proxy und dessen Unterschlüsseln ( ftp , http , https und socks ) können Sie weitere Proxy-Optionen konfigurieren, die in der neuen, glänzenden, aber fast unbrauchbaren Benutzeroberfläche nicht verfügbar sind.
Vergessen Sie nicht, sich abzumelden und erneut anzumelden, um die Konfiguration zu aktivieren!
Der einzige Unterschied zwischen Unity und Gnome Shell besteht darin, dass sich die für Gnome Shell zu ändernden Schlüssel im Schlüssel org.gnome.system.proxy befinden.