2020-10-12 18:34:25 +05:30
|
|
|
# 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 14:19:48 +02:00
|
|
|
`gnome-extension uninstall "{{extension_id}}"`
|
