====== Gnome ====== ===== Tips ===== ==== Versteckte Einstellungen ==== Mit [[dconf-editor]] bearbeiten. ==== Screen-Recorder ==== Ctrl+Alt+Shift+R Die Aufnahme stoppt nach 30 Sekunden. Zum manuellen stoppen erneut drücken. ==== panel und Notification: Schriftgröße ändern ==== Nach https://ho2e.de/mywallabag/view/728 Zuerst die Erweiterung User-Themes installlieren: https://extensions.gnome.org/extension/19/user-themes/ Eigenes Theme erstellen: mkdir -p ~/.themes/ModMyTheme/gnome-shell; gedit ~/.themes/ModMyTheme/gnome-shell/gnome-shell.css mit dem Inhalt: @import url("resource:///org/gnome/theme/gnome-shell.css"); stage { font-size: 19px; } .notification-banner { font-size: 19px; } Danach das Theme in gnome-tweak-tool auswählen. ===== Erweiterungen ===== ==== dash-to-dock ==== Github: https://github.com/micheleg/dash-to-dock Neue Version github kompilieren (Beispiel Gnom3 3.36): git clone -b gnome-3-36 https://github.com/micheleg/dash-to-dock.git cd dash-to-dock/ make make install #Restart gnome-shell ===== Siehe auch ===== * [[gnome-boxes]] ===== Weblinks ===== * https://gnome.org * [[wp>GNOME]] * https://wiki.ubuntuusers.de/GNOME/ * https://wiki.debian.org/Gnome