gnomeExtensions.extra-reboot-options 2 single
GNOME shell extension to add all known EFI bootloader entries (UEFI firmware, Windows dual-boot, etc.) to the quick-settings power menu via systemd.
- Name
gnome-shell-extension-extra-reboot-options-2- Package set
- gnomeExtensions
- Homepage
- https://extensions.gnome.org/extension/9135/extra-reboot-options/
- License
- GPL-2.0-or-later
- Source
- pkgs/desktops/gnome/extensions/buildGnomeExtension.nix:61
- Derivation
/nix/store/xm89wc9yzba6pwfwyzrjcmg63pn9z9ib-gnome-shell-extension-extra-reboot-options-2.drv- Repology
- not reported as outdated · look up (as of 2026-10-09T00:52:30Z)
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| honnip | Jung seungwoo | GitHub · me@honnip.page · @honnip:matrix.org | listed on package |
Dependencies 3
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| glib 2.88.3 | nativeBuildInputs | 23,076 | team-only outdated | |
| bashNonInteractive 5.3p15 | other input | 102,198 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,086 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.