gnomeShellProxifier A Gnome shell extension to change proxy from the top menu bar. Link: https://extensions.gnome.org/extension/589/proxifier/