Chapter 14. Managing GNOME Shell extensions by using the command line
The gnome-extensions utility is a command-line tool that allows you to manage GNOME Shell extensions from the terminal. It provides various commands to list, install, enable, disable, remove, and get information about extensions.
Each GNOME Shell extension has a UUID (Universally Unique Identifier) as listed by the gnome-extensions list command.
Procedure
To list the installed GNOME Shell extensions, use:
$ gnome-extensions listTo install a GNOME Shell extension, use the following command, which uses the file name of an extension archive (from a
.zipfile downloaded from GNOME extensions):$ gnome-extensions install <zip_file>To enable a GNOME Shell extension, use:
$ gnome-extensions enable <UUID>To show information about a GNOME Shell extension, use:
$ gnome-extensions info <UUID>To disable a GNOME Shell extension, use:
$ gnome-extensions disable <UUID>To remove a GNOME Shell extension, use:
$ gnome-extensions uninstall <UUID>
Replace the <UUIDs> with the unique identifier assigned to the GNOME Shell extension you want to install.