介绍一款 GNOME Shell扩展以实现手动和自动代理设置之间切换：Proxy Switcher。
安装 Gnome Shell 是从扩展网站安装，安装之前你需要确保 GNOME Shell 集成与 Web 浏览器工作正常。打开扩展网站，你会发现一个开关按钮，安装/卸载扩展。点击这个链接进入扩展网站：https://extensions.gnome.org/extension/771/proxy-switcher/
另外，你需安装和安装扩展使用的工具软件：Gnome-Tweak-Tool
Ubuntu用户（包括Ubuntu 14.04 LTS）使用命令：
sudo apt-get install gnome-tweak-tool
Fedora用户”Fedora 20″命令：
su
yum install gnome-tweak-tool
安装 Proxy Switcher 扩展后，它的文件将在这个目录中可用。
~/.local/share/gnome-shell/extensions
来源：imcn.me
