Spices (1): Externe Cinnamon„gewürze“

Der Mint-desktop kann durch die Cinnamon-spices („Gewürze“) erheblich verändert und erweitert werden. Die Sammelstelle dieser Spices lautet https://cinnamon-spices.linuxmint.com. Im Prinzip können Sie hier alle Spices beziehen und in jene Ordner entpacken, wie es die Website be-

schreibt. Der normale und in der Regel zudem einfachere Weg führt allerdings über die „Systemeinstellungen“.

Die Cinnamon-spices unterteilen sich in folgende vier Kategorien – Themes („Themen“), Applets, Desklets und Extensions („Erweiterungen“). Ihre Relevanz ist sehr unterschiedlich, von unentbehrlich über nützlich bis zu marginal. Empfehlungen und Einrichtungstipps folgen in den sich anschließenden Tipps – hier geht es zunächst einmal um das Installieren und Aktivieren in den „Systemeinstellungen“. Wenn Sie einen der Unterpunkte „Applets“, „Desklets“oder „Erweiterungen“wählen, zeigt das Register „Verwalten“die auf dem System vorhandenen Spices, die Sie unten mit der Plus- oder Minus-taste aktivieren oder abschalten könnten. Spices, die nicht zum Systemstandard gehören, lassen sich mithilfe des Löschsymboles auch komplett entfernen. Das zusätzliche Zahnradsymbol neben vielen Spices bietet den Dialog zur Feineinstellung.

Neben den Standard-spices gibt es weitere optionale Spices, die Sie über das Internet nachladen können. Dazu dient das Register „Herunterladen“(für „Themen“das Register „Hinzufügen/entfernen“). Sobald Sie ein Element mittels Auswahl und Klick auf das Pfeilsymbol vom Server geladen haben, erscheint dieses in der Liste unter „Verwalten“und kann dort aktiviert werden. Für die Auswahl der optionalen Spices sortiert der Dialog standardmäßig nach „Beliebtheit“, was durchaus Sinn macht. Allerdings gibt es auch nützliche Spices, die nur deshalb nicht so beliebt sind, weil sich ihr Wert nicht sofort erschließt.