Gnome Shell Extension Management Tool
Subject
Summary
Gnome Shell Extension Management Tool
| Command | Package | Interface |
|---|---|---|
| gnome-shell-extension-tool | gnome-shell | CLI |
| gnome-extensions | gnome-shell | CLI |
| gnome-extensions-app | gnome-shell-extension-prefs | GUI |
| gnome-browser-connector | Web Page | |
| extension-manager | gnome-shell-extension-manager | GUI |
| gnome-extensions-cli (gext) | No package currently available (Source) | CLI |
Install Command
Execute the following command to install the relevant Packages.
sudo apt-get install gnome-shell-extension-manager gnome-shell-extension-prefs gnome-browser-connector
Extra
Gnome Tweaks
| Command | Package | Interface |
|---|---|---|
| gnome-tweaks | gnome-tweaks | GUI |
Install Command
Execute the following command to install Package: gnome-tweaks.
sudo apt-get install gnome-tweaks