{"name":"gnomeExtensions.extra-reboot-options","version":"2","summary":"GNOME shell extension to add all known EFI bootloader entries (UEFI firmware, Windows dual-boot, etc.) to the quick-settings power menu via systemd.","systems":{"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8edc0c72e3a38faf5434e40d1f19431125fe4b30"},"attr_path":"gnomeExtensions.extra-reboot-options"},"last_updated":"2026-10-08T19:21:32Z","outputs":[{"name":"out","path":"/nix/store/kpiy74jpv7f0zhgxv7xvvhbnld3mnv6x-gnome-shell-extension-extra-reboot-options-2","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8edc0c72e3a38faf5434e40d1f19431125fe4b30"},"attr_path":"gnomeExtensions.extra-reboot-options"},"last_updated":"2026-10-08T19:21:32Z","outputs":[{"name":"out","path":"/nix/store/rzhd5a88fcagr0n5kgpd1m9wm9w194sq-gnome-shell-extension-extra-reboot-options-2","default":true}]}}}