Bob van der Linden a3d5f4f3ef nixos: gummiboot: change default to 1000 if boot.loader.timeout is null ... When gummiboot.timeout == null, the menu will still be skipped. When gummiboot.timeout == 0, the menu will also be skipped. The only way to show the menu 'indefinitely' is to show it a long time.		2015-01-30 10:36:21 +01:00
..
generations-dir
grub	nixos: loader: added generic config.boot.loader.timeout option	2015-01-30 09:53:44 +01:00
gummiboot	nixos: gummiboot: change default to 1000 if boot.loader.timeout is null	2015-01-30 10:36:21 +01:00
init-script
raspberrypi
efi.nix
loader.nix	nixos: loader: added generic config.boot.loader.timeout option	2015-01-30 09:53:44 +01:00