ddterm GNOME Shell extension
Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
Pinned Loading
Repositories
Showing 8 of 8 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-pod Public Forked from Schneegans/gnome-shell-pod
GNOME Shell in a container. Test environments for https://github.com/ddterm/gnome-shell-extension-ddterm
ddterm/gnome-shell-pod’s past year of commit activity - ghcr-cleanup Public
ddterm/ghcr-cleanup’s past year of commit activity - ci-docker-image Public
Docker image for https://github.com/ddterm/gnome-shell-extension-ddterm CI
ddterm/ci-docker-image’s past year of commit activity - gnome-shell-image Public
ddterm/gnome-shell-image’s past year of commit activity - 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.
ddterm/github-api-commit-action’s past year of commit activity