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