Cinnamon 3.0 unter Linux Mint 17.3 installieren

Während meines Urlaubs wurde Cinnamon 3.0 angekündigt und ebenfalls gesagt, dass es keine offiziellen Pakete für Linux Mint 17.3 geben wird. Die Desktop-Umgebung wird per Standard beim bald kommenden Linux Mint 18 ausgeliefert. Ich habe heute aus Neugierde nachgesehen, ob es schon ein PPA gibt. Das ist tatsächlich schon seit einiger Zeit der Fall – ich habe es nur nicht mitbekommen. Somit kann ich meine Neugierde befriedigen und mir Cinnamon 3.0 schon einmal genauer ansehen.

Bevor Du mit PPAs hantierst, solltest Du die wichtigsten Daten Deines Systems sichern. Das gilt vor allen Dingen dann, wenn Du mit der Desktop-Umgebung experimentierst. Die Daten sollten sich zwar wiederherstellen lassen, wenn etwas schief geht, aber das ist in der Regel wesentlich mehr Aufwand als die Wiederherstellung eines vernünftigen Backups.

Cinnamon 3.0 unter Linux Mint 17.3 installieren

Die Installation von Cinnamon 3.0 unter Linux Mint 17.3 Rosa ist eigentlich recht simpel und dazu ist der übliche Dreisprung notwendig. Allerdings wollten sich diverse Komponenten nach der Installation von Cinnamon 3.0 ebenfalls aktualisieren und somit ist aus der Prozedur ein Sechssprung geworden. Die Sequenz der Befehle sieht so aus. Ich gehe davon aus, dass Dein System auf dem aktuellen Stand ist:

• sudo add-apt-repository ppa:gwendal-lebihan-dev/cinnamon-nightly
• sudo apt-get update
• sudo apt-get install cinnamon
• Neustart des Systems
• sudo apt-get update
• sudo apt-get upgrade

Danach sollte die neue Desktop-Umgebung auf Deinem System installiert sein und laufen. Hier ein paar Bilder zu dem Vorgang.

Cinnamon 2.8 ist installiert

PPA hinzufügen

Neue Pakete installieren

Cinnamon 3.0 ist installiert

Neuerungen in Cinnamon 3.0

Bei Cinnamon 3.0 wurde unter anderem das Fenster-Management und Compositing verbessert. Außerdem wurden Verbesserungen beim Touchpad vorgenommen. Eine Sache habe ich nach der Installation festgestellt. Mein Zweifinger-Scrollen auf dem Touchpad ging plötzlich in die andere Richtung. Das lässt sich aber schnell beheben.

Zweifinger-Scrollen konfigurieren

Für Barrierefreiheit und Sound sind neue Einstellungsmöglichkeiten vorhanden. Für Dokumente, Quellcode-Dateien und Textdateien darfst Du ab sofort verschiedene Standard-Anwendungen festlegen.

Laut Entwickler hat sich außerdem der Support für Spotify 0.27, Viber und GTK 3.20 verbessert.

Unterm Strich fallen die Änderungen und Neuerungen sehr dezent aus. Als reiner Anwender merke ich kaum einen Unterschied. Das ist aber nicht negativ gemeint. Ich bin ganz zufrieden, dass sich alles wie gewohnt anfühlt.