回答:
Ubuntu Forumsでソリューションのヒントを見つけました。ユーザーがGnome Shellの構成を説明するリンクをGnome Developer Centerに送信しました。私のソリューションは、Unityで何をすべきかを説明しています。
まだ持っていない場合は、dconf-toolsをインストールする必要があります。
sudo apt-get install dconf-tools
次に(押圧、例えばツールを実行するCtrl + F2を、次に入力し、dconfエディタをして押してください)。
左側のペインでキーシステムを展開し、プロキシキーをクリックします。右側のペインに、無視されたプロキシのリストを入力する場所が表示されます(ignore-hosts)。
キープロキシとそのサブキー(ftp、http、https、およびsocks)では、new-shiny-but-almost-useless GUIでは使用できないプロキシオプションをさらに構成できます。
構成をアクティブにするために、ログアウトしてから再度ログインすることを忘れないでください!
UnityとGnome Shellとの唯一の違いは、Gnome Shell用に変更するキーがorg.gnome.system.proxyキーにあることです。