ddterm GNOME Shell extension
Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
Pinned Loading
Repositories
Showing 10 of 10 repositories
- ghcr-cleanup Public
- gnome-shell-extension-ddterm Public
Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
- gnome-shell-image Public
Container images with pre-installed GNOME Shell. Test environment for https://github.com/ddterm/gnome-shell-extension-ddterm
- typelib-installer Public
- 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
- github-api-commit-action Public Forked from grafana/github-api-commit-action
Commits changes to the repository through the Github api instead of traditional git commands.
