cinnamon-extension-tool
Manage Cinnamon desktop extensions
SYNOPSIS
cinnamon-extension-tool [options] command
PARAMETERS
--help
Display help message and exit.
--version
Display version information and exit.
list
List installed extensions.
enable
Enable the extension with the specified UUID.
disable
Disable the extension with the specified UUID.
remove
Remove the extension with the specified UUID.
info
Show detailed information about the extension with the specified UUID.
DESCRIPTION
The cinnamon-extension-tool command is a command-line utility used in the Cinnamon desktop environment
to manage extensions. Extensions include applets, desklets, themes, and extensions themselves. It allows users to enable, disable,
remove, and configure Cinnamon extensions without needing to use the graphical Cinnamon settings. This tool is particularly useful
for scripting extension management, performing batch operations, or for use in environments where a graphical interface is unavailable.
It offers a way to interact with the installed Cinnamon extensions in a programmatic fashion.
The tool typically interacts with the Cinnamon configuration system to modify the state of the extensions.
It provides commands for listing installed extensions, enabling/disabling them, removing them, and displaying information about
specific extensions. This can be valuable for system administrators managing Cinnamon installations across multiple machines or for
advanced users who prefer command-line interfaces.
CAVEATS
The cinnamon-extension-tool requires appropriate permissions to modify system settings. Modifications affect the currently logged-in user's Cinnamon session. Restarting Cinnamon may be needed for changes to take full effect.
UUID
The UUID (Universally Unique Identifier) is a unique string identifying each extension. You can find UUIDs by listing installed extensions using the 'list' command.
EXAMPLES
To list installed extensions: cinnamon-extension-tool list.
To enable an extension: cinnamon-extension-tool enable my-extension@example.com