介绍一款 GNOME Shell扩展以实现手动和自动代理设置之间切换:Proxy Switcher。
安装 Gnome Shell 是从扩展网站安装,安装之前你需要确保 GNOME Shell 集成与 Web 浏览器工作正常。打开扩展网站,,你会发现一个开关按钮,安装/卸载扩展。点击这个链接进入扩展网站: “Proxy Switcher”
另外,你需安装和安装扩展使用的工具软件:Gnome-Tweak-ToolUbuntu用户(包括Ubuntu 14.04 LTS)使用命令:
sudo apt-get install gnome-tweak-tool
Fedora用户”Fedora 20″命令:suyum install gnome-tweak-tool安装 Proxy Switcher 扩展后,它的文件将在这个目录中可用。
~/.local/share/gnome-shell/extensions
请打开窗口,让我的灵魂与你的灵魂相拥。