gnomeExtensions.ddterm 73 single
Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
- Name
gnome-shell-extension-ddterm-73- Package set
- gnomeExtensions
- Homepage
- https://extensions.gnome.org/extension/3780/ddterm/
- License
- GPL-2.0-or-later
- Source
- pkgs/desktops/gnome/extensions/buildGnomeExtension.nix:61
- Derivation
/nix/store/50a8idcj7wh67w2cap7bf75vzsys0739-gnome-shell-extension-ddterm-73.drv
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| honnip | Jung seungwoo | GitHub · me@honnip.page · @honnip:matrix.org | listed on package |
Dependencies 7
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| gjs 1.88.1 | buildInputs | 2,587 | team-only | |
| libhandy 1.8.3 | buildInputs | 128 | team-only | |
| vte 0.84.1 | buildInputs | 71 | maintained | |
| gobject-introspection 1.86.0 | nativeBuildInputs | 20,740 | maintained | |
| wrapGAppsHook3 26.05pre-git | nativeBuildInputs | 2,215 | unmaintained setup hook | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.