Bjørn Forsman 08f4bc4c34 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. (cherry picked from commit aeb516c741)		2016-07-16 09:41:52 +02:00
..
generations-dir	nixos: add a few missing type specifiers under boot.*	2015-02-28 09:19:23 +01:00
generic-extlinux-compatible	nixos: introduce system.nixosLabel option and use it where appropriate	2016-01-08 22:26:15 +00:00
grub	nixos/grub: change state file device separator from ':' to ','	2016-07-16 09:41:52 +02:00
gummiboot	nixos: gummiboot: change default to 1000 if boot.loader.timeout is null	2015-01-30 10:36:21 +01:00
init-script	init-script-builder: handle containers without a kernel	2016-02-10 02:05:47 +03:00
raspberrypi	Raspberry Pi 2 changes to make it boot.	2015-05-09 17:05:24 +00:00
efi.nix	nixos: fix some types	2015-09-18 18:48:50 +00:00
loader.nix	nixos: loader: added generic config.boot.loader.timeout option	2015-01-30 09:53:44 +01:00