Ich habe den heutigen Nachmittag genutzt, um Mint 12 durch Mint 13 zu ersetzen (X220). Jetzt ist (hoffentlich) wieder alles ordentlich konfiguriert.
Kennt jemand eine Gnome-Shell Erweiterung (3.4), die Uhrzeit/Datum in den rechten Teil verschiebt? Und glücklich wäre ich auch über eine Erweiterung, mit der man die größe der Icons in der Ansicht der Anwendungen einfach anpassen kann.
Ich habe die Cinnamon-Edition von Live-CD eingespielt. Meinen /home Bereich habe ich so gelassen. Daher brauchte ich auch bei Firefox und Thunderbird nichts erneut anpassen. Das Cinnamon macht keinen schlechten Eindruck, hat schöne Effekte. Ist so eine Mischung aus Gnome 2 und der Gnome-Shell. Wer sich noch an Gnome 2 klammern will, sollte das mal ausprobieren. (Den MATE Ansatz dagegen finde ich persönlich nicht sinnvoll.) Ich habe dann aber gleich of Gnome-Shell abgeändert. Die kommt jetzt natürlich nicht mehr so schön gestaltet wie bei Mint 12 daher. Aber die Themen kann man sicher noch anpassen. Fingerprint-Gui funktioniert auch mit dem MDM. (Bzw., da mein /home verschlüsselt ist, muss ich mich eh per Passwort einloggen; aber es gibt keine Fehlermeldung.) Den light-dm finde ich allerdings schöner. Kann man sowas *einfach* (de-) installieren, und damit hat es sich? --- Sicher, wer jetzt sagt, ich hätte auch Ubuntu mit Gnome-Shell installieren können, hat damit sicherlich recht. Aber so geht es auch...
Bei der Gnome-Shell 3.4 (im Vergleich zu 3.2) fallen mir ein paar optische Verbesserungen auf. Schön ist auch, dass man sich die Erweiterungen jetzt im Expose ansehen und schalten kann. Bei Cheese scheinen jetzt auch die Effekte zu funktionieren.
Beim Installieren konnte ich natürlich nicht feststellen, wie es mit den Temperaturen der CPU im Vergleich zu vorher verhält. Aber prinzipiell sollte man bei Sandy-Bridge und dem Kernel keine extra Boot-Option mehr setzen, oder?
Muss demnächst mal in Ruhe sehen, was ich an überflüssigen Dingen (Cinnamon, Gnome 2, Fallback etc.) alles deinstallieren kann. Wenn hier einer Tipps hat...