Package: wnpp Severity: wishlist Owner: Jonathan Carter <[email protected]>
* Package name : gnome-shell-extension-proxy-switcher Version : 1.2 Upstream Author : Tom Flannaghan <[email protected]> * URL : https://github.com/tomflannaghan/proxy-switcher * License : GPL-2+ Programming Lang: JavaScript Description : gnome-shell-extension-proxy-switcher Adds an option to the GNOME Shell system menu that allows a user to quickly switch between no proxy, manual proxy and automatic proxy settings.
