Este conteúdo não está disponível no idioma selecionado.
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:
Copy to Clipboard Copied! Toggle word wrap Toggle overflow gnome-extensions list
$ gnome-extensions list
To install a GNOME Shell extension, use:
Copy to Clipboard Copied! Toggle word wrap Toggle overflow gnome-extensions install <UUID>
$ gnome-extensions install <UUID>
To enable a GNOME Shell extension, use:
Copy to Clipboard Copied! Toggle word wrap Toggle overflow gnome-extensions enable <UUID>
$ gnome-extensions enable <UUID>
To show information about a GNOME Shell extension, use:
Copy to Clipboard Copied! Toggle word wrap Toggle overflow gnome-extensions info <UUID>
$ gnome-extensions info <UUID>
To disable a GNOME Shell extension, use:
Copy to Clipboard Copied! Toggle word wrap Toggle overflow gnome-extensions disable <UUID>
$ gnome-extensions disable <UUID>
To remove a GNOME Shell extension, use:
Copy to Clipboard Copied! Toggle word wrap Toggle overflow gnome-extensions uninstall <UUID>
$ gnome-extensions uninstall <UUID>
Replace the <UUIDs>
with the unique identifier assigned to the GNOME Shell extension you want to install.
Additional resources
-
The
gnome-extensions --help
page.