2020-10-12 14:04:25 +01:00
|
|
|
# gnome-extensions
|
|
|
|
|
|
|
|
|
|
> Manage gnome extensions from the terminal.
|
|
|
|
|
> More information: <https://wiki.gnome.org/Projects/GnomeShell/Extensions>.
|
|
|
|
|
|
|
|
|
|
- Display the version:
|
|
|
|
|
|
|
|
|
|
`gnome-extensions version`
|
|
|
|
|
|
|
|
|
|
- List all the installed extensions:
|
|
|
|
|
|
|
|
|
|
`gnome-extensions list`
|
|
|
|
|
|
|
|
|
|
- Display information about a specific extension:
|
|
|
|
|
|
|
|
|
|
`gnome-extensions info "{{extension_id}}"`
|
|
|
|
|
|
|
|
|
|
- Display help for a subcommand (like `list`):
|
|
|
|
|
|
|
|
|
|
`gnome-extensions help {{subcommand}}`
|
|
|
|
|
|
|
|
|
|
- Enable a specific extension:
|
|
|
|
|
|
|
|
|
|
`gnome-extensions enable "{{extension_id}}"`
|
|
|
|
|
|
|
|
|
|
- Disable a specific extension:
|
|
|
|
|
|
|
|
|
|
`gnome-extension disable "{{extension_id}}"`
|
|
|
|
|
|
|
|
|
|
- Uninstall a specific extension:
|
|
|
|
|
|
2021-05-01 13:19:48 +01:00
|
|
|
`gnome-extension uninstall "{{extension_id}}"`
|
