ddterm GNOME Shell extension
Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
Pinned Repositories
artwork
aur
ddterm AUR packages
autotag
Automatically create tags in yyyy.mm.dd.n format
ci-docker-image
Docker image for https://github.com/ddterm/gnome-shell-extension-ddterm CI
ghcr-cleanup
gnome-shell-box
Vagrant libvirt boxes with GNOME Shell on various distros
gnome-shell-extension-ddterm
Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
gnome-shell-extension-tester
gnome-shell-pod
Not used and not updated anymore. Switched to simpler https://github.com/ddterm/gnome-shell-image
typelib-installer
ddterm GNOME Shell extension's Repositories
ddterm/gnome-shell-extension-ddterm
Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
ddterm/gnome-shell-box
Vagrant libvirt boxes with GNOME Shell on various distros
ddterm/artwork
ddterm/aur
ddterm AUR packages
ddterm/autotag
Automatically create tags in yyyy.mm.dd.n format
ddterm/ci-docker-image
Docker image for https://github.com/ddterm/gnome-shell-extension-ddterm CI
ddterm/ghcr-cleanup
ddterm/gnome-shell-extension-tester
ddterm/gnome-shell-image
Container images with pre-installed GNOME Shell. Test environment for https://github.com/ddterm/gnome-shell-extension-ddterm
ddterm/gnome-shell-pod
Not used and not updated anymore. Switched to simpler https://github.com/ddterm/gnome-shell-image
ddterm/typelib-installer