💾 Archived View for freeshell.de › tldr › gnome-extensions.gmi captured on 2022-04-28 at 18:42:16. Gemini links have been rewritten to link to archived content

View Raw

More Information

-=-=-=-=-=-=-

gnome-extensions

Manage gnome extensions from the terminal.

More information.

• 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:

gnome-extension uninstall "{extension_id}"

Copyright © 2014—present the tldr-pages team and contributors.

This work is licensed under the Creative Commons Attribution 4.0 International License (CC-BY).

CC-BY