ddterm GNOME Shell extension
Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
Pinned
Repositories
Showing 7 of 7 repositories
- gnome-shell-extension-ddterm Public
Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
-
- gnome-shell-pod Public Forked from Schneegans/gnome-shell-pod
GNOME Shell in a container. Test environments for https://github.com/ddterm/gnome-shell-extension-ddterm
- ghcr-cleanup Public
-
- 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.