ddterm GNOME Shell extension
Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
Pinned Loading
Repositories
Showing 9 of 9 repositories
- gnome-shell-extension-ddterm Public
Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
ddterm/gnome-shell-extension-ddterm’s past year of commit activity - gnome-shell-image Public
Container images with pre-installed GNOME Shell. Test environment for https://github.com/ddterm/gnome-shell-extension-ddterm
ddterm/gnome-shell-image’s past year of commit activity - gjs-typelib-installer Public
ddterm/gjs-typelib-installer’s past year of commit activity - artwork Public
ddterm/artwork’s past year of commit activity - ghcr-cleanup Public archive
ddterm/ghcr-cleanup’s past year of commit activity - gnome-shell-pod Public archive Forked from Schneegans/gnome-shell-pod
Not used and not updated anymore. Switched to simpler https://github.com/ddterm/gnome-shell-image
ddterm/gnome-shell-pod’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…