carta
cinnamon-extension-tool(1)

cinnamon-extension-tool1

Extension management program

Usage

cinnamon-extension-tool [--create-extension]

Overview

cinnamon-extension-tool runs the graphical user interface allowing to manage the extensions to be used in cinnamon.

From cinnamon 3.2.7-4 in Debian 9 (Stretch). Parsed by carta from the page's man source.