Schon vor einiger Zeit bin ich vom Gnome- zum Cinnamon Desktop gewechselt und bin mit der Entscheidung sehr zufrieden. Ich empfinde Cinnamon als optisch ansprechend, er ist umfangreich konfigurierbar und setzt nach wie vor auf das klassische Prinzip der Desktopbedienung. Längere Zeit nutzte ich Cinnamon mit Antergos als Distribution. Mittlerweile ist mir Stabilität und ein jederzeit einsatzbereites System wichtiger als aktuelle Software, weshalb ich derzeit bei Mint gelandet bin. Auch weil ich ein bisschen Heimweh nach der großen Ubuntu-Welt hatte.

Allerdings konnte ich mich nie mit Mints grünem Desktoptheme anfreunden. Und wie so oft sind es Kleinigkeiten, die mich wahnsinnig machen können und mit deren Änderung ich mich Stundenlang beschäftigen kann. Glücklicherweise lässt sich das „Problem“ in diesem Fall einfach beheben. Die Farbe der Icons und Bedienelemente lässt sich problemlos über die Desktopthemen anpassen. Das Startmenü-Icon bleibt aber giftgrün, was zu einem unschönen und uneinheitlichen Erscheinungsbild des Desktops führt.

Anzeige:

Linux Mint Starticon Farben in der Standardeinstellung

Aber auch das lässt sich ändern. Mit einem Rechtsklick auf das Icon des Startmenüs kann man den Dialog Einrichten öffnen. Hier lässt sich das Icon gegen eine beliebige Grafik austauschen. Man muss also nur die Standardgrafik (oder eine beliebige andere Grafik) nehmen, mit GIMP die Farbe ändern und anschließend den Pfad zur neu erstellten Datei angeben.

Damit hat der Desktop endlich wieder ein farblich einheitliches Erscheinungsbild.

Linux Mint Startmenü Icons Farben

 


 

Anzeige:
Raspberry Pi Zero W Starter Kit
Preis: --
(Stand von: 31.03.2020 2:05 - Details
×
Produktpreise und -verfügbarkeit sind zum angegebenen Datum / Uhrzeit korrekt und können sich ändern. Alle Preis- und Verfügbarkeitsinformationen auf https://www.amazon.de/ zum Zeitpunkt des Kaufs gelten für den Kauf dieses Produkts.
)
0 neu0 gebraucht
  • Dieses Light Starter Kit enthält das offizielle Raspberry Pi Zero Gehäuse sowie alle erforderlichen Adapter, die für die Nutzung mit dem Raspberry Pi Zero nötig sind. Es wird lediglich noch ein Micro USB Netzteil mit min. 1A Ausgangsstrom und eine MicroSD Speicherkarte benötigt.
  • Der Raspberry Pi Zero W ist der Nachfolger des beliebten Raspberry Pi Zero und bietet zusätzlich zum Vorgänger nun On-Board WLAN und Bluetooth.
  • Inhalt: Raspberry Pi Zero W, offizielles Raspberry Pi Zero Gehäuse (weiß/rot) mit 3 verschiedenen Abdeckungen und kurzem Kamera Adapterkabel, Mini HDMI Adapter, OTG Adapterkabel, Stiftleiste 2x20 Pin gerade, Stiftleiste 2x20 Pin gewinkelt, Buchsenleiste 2x20 Pin gerade

1 Kommentar

Hinterlasse einen Kommentar

Please enter your comment!
Die Angabe von Name oder Webseite ist optional. Weitere Informationen: siehe Datenschutzerklärung

Please enter your name here