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

• gnome-boxes

• https://gnome.org
• GNOME
• https://wiki.ubuntuusers.de/GNOME/
• https://wiki.debian.org/Gnome