介绍一款 GNOME Shell扩展以实现手动和自动代理设置之间切换：Proxy Switcher。

安装 Gnome Shell 是从扩展网站安装，安装之前你需要确保 GNOME Shell 集成与 Web 浏览器工作正常。打开扩展网站，你会发现一个开关按钮，安装/卸载扩展。点击这个链接进入扩展网站：“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

本文采用CC协议发布，转载请注明： 转载自IMCN