💾 Archived View for freeshell.de › tldr › gnome-extensions.gmi captured on 2023-11-04 at 12:31:33. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2022-04-28)

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

gnome-extensions

Manage gnome extensions from the terminal.

More information.

gnome-extensions version
gnome-extensions list
gnome-extensions info "{extension_id}"
gnome-extensions help {subcommand}
gnome-extensions enable "{extension_id}"
gnome-extension disable "{extension_id}"
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