Tips zu Linux Mint

Inhaltsverzeichnis

• Dunkles GTK3-Theme für ein Programm verwenden
• Mehrere Firefox-Profile an die Leiste von Cinnamon pinnen
• Datumsformat des Kalenders in der Leiste von Cinnamon einstellen
• Sonderzeichen in Cinnamon eingeben
• Alte Linux-Mint-Desktop-Hintergründe nachinstallieren

Dunkles GTK3-Theme für ein Programm verwenden

Beim Aufruf des Programms im Terminal oder in den Einstellungen des Starters kann das gewünschte Theme in einer Umgebungsvariablen angegeben werden:

env GTK_THEME=Mint-Y-Dark xed

Das funktioniert auch bei Programmen, die über Flatpak installiert wurden. In diesem Fall muß jedoch die Flatpak-Version des Themes zusätzlich nachinstalliert werden:

flatpak install flathub org.gtk.Gtk3theme.Mint-Y-Dark

Mehrere Firefox-Profile an die Leiste von Cinnamon pinnen

Der Webbrowser Firefox unterstützt die Verwendung mit mehreren Profilen. So lassen sich etwa für Privat und Arbeit eigene Profile anlegen.

Um Firefox mit einem bestimmten Profil über die Leiste von Cinnamon starten zu können, muß ein eigener Starter angelegt werden. Das ist möglich, indem über das Kontextmenü der Startmenü-Schaltfläche die Option Einrichten … gewählt wird. Anschließend läßt sich im Reiter Menü die Menübearbeitung über die Schaltfläche Die Menübearbeitung öffnen öffnen und ein neuer Starter mit folgendem Ziel erstellen:

firefox %u -no-remote -P "<Profilname>" --class <Profilbezeichnung>

Die Option --class setzt die WM_CLASS-Eigenschaft des Fensters auf den (eindeutigen) Profilnamen, wodurch verhindert wird, daß mehrere Profilinstanzen von Firefox in einer Schaltfläche der Leiste gruppiert werden.

Wenn in der profiles.ini von Firefox ein Profil mit default=1 markiert ist und in den Einstellungen im Abschnitt [General] die Option StartWithLastProfile=1 gesetzt ist, kann die in Linux Mint angelegte Standardverknüpfung genutzt werden, um Firefox mit dem Standardprofil zu starten.

Datumsformat des Kalenders in der Leiste von Cinnamon einstellen

Ein sinnvolles deutsches Datumsformat kann wie folgt festgelegt werden:

• Rechtsklick auf die Uhr (Applet Kalender), Einrichten ….

• Datumsformat ändern auf: %d.%m.%Y %H:%M.

• Datumsformat für Kurzinfo ändern auf: %A, %e. %B %Y, %H:%M.

Ein Zeilenumbruck läßt sich mittels %n einfügen, so kann etwa das Datumsformat mittels des Formats %H:%M%n%d.%m.%Y zweizeilig angezeigt weren.

Sonderzeichen in Cinnamon eingeben

Deutsch:

Englisch:

Weitere gebräuchliche Sonderzeichen:

Alte Linux-Mint-Desktop-Hintergründe nachinstallieren

Nach bestimmten Updates werden die Desktop-Hintergründe älterer Versionen von Linux Mint entfernt. Diese können wieder installiert werden, z. B. die der Mint-Version Uma:

sudo apt install mint-backgrounds-uma