A simple command line tool to manage Gnome Shell extensions.
An extension can be specified either using it's UUID or a extensions.gnome.org URL.
Install and enable an extension:
gnome-shell-extension-cli install [email protected]
# or
gnome-shell-extension-cli install https://extensions.gnome.org/extension/7/removable-drive-menu/
Just install, don't enable:
gnome-shell-extension-cli install --no-enable [email protected]
Install system-wide:
gnome-shell-extension-cli install --system [email protected]
Uninstall:
gnome-shell-extension-cli uninstall [email protected]
Enable/Disable/Reload:
gnome-shell-extension-cli enable [email protected]
gnome-shell-extension-cli disable [email protected]
gnome-shell-extension-cli reload [email protected]
List extensions (from running Gnome Shell):
gnome-shell-extension-cli list
# or as raw JSON
gnome-shell-extension-cli list --json
Fetch extension info from extensions.gnome.org
gnome-shell-extension-cli info [email protected]
# or as JSON
gnome-shell-extension-cli info --json [email protected]