====== 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