介绍一款 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