Forum

Bitte oder Registrieren, um Beiträge und Themen zu erstellen.

ddterm - Another Drop Down Terminal Extension for GNOME Shell

linuxopa@linuxopa
145 Beiträge
Benutzer
#1 · 16. Februar 2024, 15:56

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.

Anklicken für Daumen nach unten.0Anklicken für Daumen nach oben.0
sudo apt autoremove —purge windows -y
Post Views: 219.626