nixsearch / pkg / gnomeExtensions.restart-to / 17
gnomeExtensions.restart-to 17
Adds a menu item to restart to any other EFI boot entry
Linux
last changed
Pin this version
$ devbox add gnomeExtensions.restart-to@17
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#gnomeExtensions.restart-to
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-linuxLinux · arm64 |
gnomeExtensions.restart-to |
b6c8664de9b6 | out/nix/store/fywmlb9zcpsxr0g57md8vzcgfbxvwrk8-gnome-shell-extension-restart-to-17 |
||
x86_64-linuxLinux · x86-64 |
gnomeExtensions.restart-to |
b6c8664de9b6 | out/nix/store/y7j2f60gnasj5k4alng414jldcngafa7-gnome-shell-extension-restart-to-17 |
JSON: /v2/pkg?name=gnomeExtensions.restart-to · /v2/resolve?name=gnomeExtensions.restart-to&version=17