ddterm GNOME Shell extension
Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
Pinned Repositories
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
github-api-commit-action
Commits changes to the repository through the Github api instead of traditional git commands.
gnome-shell-box
Vagrant libvirt boxes with GNOME Shell
gnome-shell-extension-ddterm
Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
gnome-shell-image
Container images with pre-installed GNOME Shell. Test environment for https://github.com/ddterm/gnome-shell-extension-ddterm
gnome-shell-pod
Not used and not updated anymore. Switched to simpler https://github.com/ddterm/gnome-shell-image
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
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/github-api-commit-action
Commits changes to the repository through the Github api instead of traditional git commands.
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