Desktoptipps | David Wolski | 2-2021 | 29. Januar 2021

Gnome: Pop-OS-Thema für alle

Ubuntu in anderen Gewändern: System76 hat seine Gnome-Anpassungen in ein eigenes Repository (PPA) gepackt und die Änderungen gegenüber Ubuntu sind durchaus ein Mehrwert.

Vom Linux-Systemhaus System76 stammt die Ubuntu-Abspaltung Pop-OS. Sie geht in einigen Details eigene Wege, nutzt einen eigenen Bootloader statt Grub und hat natürlich Treiber für die Hardware von System76 mit an Board. Eine Besonderheit ist aber auch das klare Farbschema, das Android nachempfunden ist und das es auch für Gnome unter Ubuntu gibt.

Eine nette Feinheit von Pop-OS (https://pop.system76.com) ist die Hervorhebung von Menüelementen in Gnome-Fenstern, um den Blick auf das Wesentliche zu lenken. Nachdem dieses Betriebssystem ein sehr naher Verwandter von Ubuntu ist, gibt es auch ein PPA (externes Repository), das die Installation aller Komponenten dieses Farbschemas vereinfacht. 

Es funktioniert unter Ubuntu 20.04/20.10 und voraussichtlich auch für die kommenden Ubuntu-Ausgaben. In einem Terminalfenster nehmen die beiden Kommandos

sudo add-apt-repository ppa:system76/pop

sudo apt update

das PPA von System76 auf. Der erste Schritt danach verlangt nach der manuellen Installation eines Einzelpakets, das die Herstellerinformationen von Canonical durch jene von System76 austauscht:

sudo apt-get -o Dpkg::Options::="--force-overwrite" install pop-gnome-initial-setup

Anschließend installiert

sudo apt install pop-theme

das neue Thema mit Fonts und Icons. Um es zu aktivieren, ist eine Abmeldung vom System nötig. In den Optionen des Anmeldebildschirms stehen jetzt neben „Ubuntu“ auch „Pop“ und „Pop on Wayland“ zur Auswahl. Auf diese Weise lässt sich später auch wieder zum gewohnten Ubuntu-Schema wechseln, falls das alternative Thema doch nicht gefällt.