In vielen Artikeln der Reihe Gnome3 wurde schon oftmals darauf hingewiesen, dass Erscheinungsbildveränderungen erreicht werden indem man mit Rootrechten die Werte in der Datei gnome-shell.css im Verzeichnis /usr/share/gnome-shell/theme/ abändert. Es wurde beschrieben wie man die Hintergrundfarbe vom Dash und die Schrift im Run-Dialog nach seinem …
Das gnome-tweak-tool ist ein erweitertes Einstellungstool für
Gnome3. Es gehört oft nicht zum Standard der meist genutzten
Linux-Distributionen, muss bei Bedarf also über den herkömmlichen
Paketmanager nachinstalliert werden. (Beispiel für Fedora:
su -c "yum install gnome-tweak-tool
") Um sich leichten Zugang zum
gnome-tweak-tool zu verschaffen ist es möglich das userMenu zu …
Hier möchte ich kurz und knapp erklären wie man Gnome3 ein neues
Erscheinungsbild spendieren kann, sprich wie man das Design ändert. Hat
man erst mal den Installationsbefehl
su -c "yum install gnome-shell-extension-theme-selector"
ausgeführt,
ist die Hälfte der Arbeit schon getan. Die beiden Pakete
gnome-shell-extensions-common und gnome-shell-extensions-user-theme
werden ebenso installiert. Die …
Oben, in der Mitte des Panels, wird bei Gnome3 gegenwärtig der Wochentag und die Uhrzeit angezeigt.
Durch folgende Befehle ist es machbar die Anzeige zu modifizieren.
gsettings get org.gnome.shell.clock show-date # Wert abfragen, Anzeige des Datums
gsettings set org.gnome.shell.clock show-date true
# Wert true setzen, Anzeige …