Gnome

Tips

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:

mit dem Inhalt:

Danach das Theme in gnome-tweak-tool auswählen.

Siehe auch

gnome-boxes

Weblinks

https://gnome.org

GNOME

https://wiki.ubuntuusers.de/GNOME/

https://wiki.debian.org/Gnome?action=show&redirect=DebianGnome