nixsearch
nixsearch / pkg / gnomeExtensions.restart-to / 10

gnomeExtensions.restart-to 10

Adds a menu item to restart to any other EFI boot entry
Linux last changed

Pin this version

$ devbox add gnomeExtensions.restart-to@10
systemsaarch64-linux, x86_64-linux commit80d901ec0377e19ac3f7bb8c035201e2e098cc97 
$ nix shell github:NixOS/nixpkgs/80d901ec0377e19ac3f7bb8c035201e2e098cc97#gnomeExtensions.restart-to

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-linux
Linux · arm64		 gnomeExtensions.restart-to 80d901ec0377
out
/nix/store/wi66wfkdi24bw8lv63dg5r8d1876ibk9-gnome-shell-extension-restart-to-10
x86_64-linux
Linux · x86-64		 gnomeExtensions.restart-to 80d901ec0377
out
/nix/store/4pbb0i4jzqbl74hxqzdxc0k6c6qn1zq0-gnome-shell-extension-restart-to-10
← newer: 12 all 8 releases older: 8 →

JSON: /v2/pkg?name=gnomeExtensions.restart-to · /v2/resolve?name=gnomeExtensions.restart-to&version=10