Bjørn Forsman aeb516c741 nixos/grub: change state file device separator from ':' to ',' ... ':' is currently used as separator in /boot/grub/state for the list of devices GRUB should be installed to. The problem is that ':' itself may appear in a device path: /dev/disk/by-id/usb-SanDisk_Cruzer_20043512300546C0B317-0:0 With such a path, NixOS will install GRUB *every* time, because it thinks the configuration differs from the state file (due to the wrong list split). Fix it by using ',' as separator. For existing systems with GRUB installed on multiple devices, this change means that GRUB will be installed one extra time.		2016-07-06 00:11:57 +02:00
..
grub.nix	Use systemd-boot instead of gummiboot	2016-05-31 17:02:47 +02:00
install-grub.pl	nixos/grub: change state file device separator from ':' to ','	2016-07-06 00:11:57 +02:00
ipxe.nix	Add missing 'type', 'defaultText' and 'literalExample' in module definitions	2016-01-17 19:41:23 +01:00
memtest.nix	Rewrite ‘with pkgs.lib’ -> ‘with lib’	2014-04-14 16:26:48 +02:00