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.

• gnome-boxes

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