Zitat von linuxopa am 16. Februar 2024, 15:56 Uhrgerade gefunden und installiert, finde ich praktisch: https://github.com/ddterm/gnome-shell-extension-ddterm https://extensions.gnome.org/extension/3780/ddterm/ Beschreibung siehe dort.
gerade gefunden und installiert, finde ich praktisch:
https://github.com/ddterm/gnome-shell-extension-ddterm
https://extensions.gnome.org/extension/3780/ddterm/
Beschreibung siehe dort.
