Answers:
我在Ubuntu论坛中找到了该解决方案的提示,用户在该论坛中向Gnome开发人员中心发送了一个链接,解释了Gnome Shell的配置。我的解决方案说明了要为Unity做什么。
如果尚未安装dconf-tools,则需要安装它:
sudo apt-get install dconf-tools
然后运行该工具(例如,按Ctrl + F2,然后键入dconf-editor并按Enter)。
展开左窗格中的密钥系统,然后单击代理密钥。在右侧窗格中,您将获得输入忽略的代理列表(ignore-hosts)的位置。
在它的关键代理和子项(ftp,http,https和socks)中,您可以配置更多新的但几乎无用的GUI中不可用的代理选项。
不要忘记注销并再次登录以激活配置!
与Gnome Shell相比,Unity的唯一区别是要为Gnome Shell修改的密钥在org.gnome.system.proxy密钥中。