Package: wnpp Severity: wishlist Owner: Jonathan Carter <jcar...@linux.com>
* Package name : gnome-shell-extension-proxy-switcher Version : 1.2 Upstream Author : Tom Flannaghan <tomflannag...@gmail.com> * 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.