gnome-shell-extension-extensions
gnome-shell-extension-extensions copied to clipboard
Published
20 hours ago •
petres
petres
gnome shell extension to enable/disable extension easily via a panel menu
Extensions
About
Easily enable/disable gnome shell extensions from a popup menu in the top panel. Also allows to open the preferences of the extensions.
Install
Gnome Shell Extensions Page
The easiest way to install this extension is via the official Gnome Shell Extensions resource page: https://extensions.gnome.org/extension/1036/extensions/
Arch Linux
For Arch Linux the AUR package gnome-shell-extension-extensions-git is provided.
Future
Planned additional functionality:
- Adding preferences for blacklist extensions from menu
- Seperators
petres