Questo contenuto non è disponibile nella lingua selezionata.
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). You can find the UUID of an extension on its GNOME Shell Extensions website page.
Procedure
To list the installed GNOME Shell extensions, use:
gnome-extensions list
$ gnome-extensions list
Copy to Clipboard Copied! Toggle word wrap Toggle overflow To install a GNOME Shell extension, use:
gnome-extensions install <UUID>
$ gnome-extensions install <UUID>
Copy to Clipboard Copied! Toggle word wrap Toggle overflow To enable a GNOME Shell extension, use:
gnome-extensions enable <UUID>
$ gnome-extensions enable <UUID>
Copy to Clipboard Copied! Toggle word wrap Toggle overflow To show information about a GNOME Shell extension, use:
gnome-extensions info <UUID>
$ gnome-extensions info <UUID>
Copy to Clipboard Copied! Toggle word wrap Toggle overflow To disable a GNOME Shell extension, use:
gnome-extensions disable <UUID>
$ gnome-extensions disable <UUID>
Copy to Clipboard Copied! Toggle word wrap Toggle overflow To remove a GNOME Shell extension, use:
gnome-extensions uninstall <UUID>
$ gnome-extensions uninstall <UUID>
Copy to Clipboard Copied! Toggle word wrap Toggle overflow
Replace the <UUIDs>
with the unique identifier assigned to the GNOME Shell extension you want to install.