Mit dconf-editor bearbeiten.
Ctrl+Alt+Shift+R
Die Aufnahme stoppt nach 30 Sekunden. Zum manuellen stoppen erneut drücken.
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.
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