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
..
config	nixos/update-users-groups.pl: print UIDs and GIDs	2016-07-01 13:13:46 +02:00
hardware	nixos ati_unfree: auto-switch xorg to fglrxComat	2016-05-23 10:12:44 +02:00
i18n/input-method
installer	sd-image-armv7l-multiplatform.nix: Preliminary Raspberry Pi 2/3 support	2016-07-04 02:07:13 +03:00
misc	nixos/elasticsearch: Set a group on the user	2016-07-01 18:21:42 +02:00
profiles	documentation: fix start display-manager command	2016-07-04 10:25:31 +02:00
programs	nixos/spacefm: unbreak manual build	2016-07-05 13:27:17 +02:00
security	Merge pull request #16180 from zimbatm/shell-escaping	2016-06-19 23:27:52 +01:00
services	Merge pull request #16681 from Aske/tlp-restart	2016-07-03 23:56:41 +04:00
system	nixos/grub: change state file device separator from ':' to ','	2016-07-06 00:11:57 +02:00
tasks	Make fileSystems example literal.	2016-06-19 01:21:22 -06:00
testing	KDE test: Bump kdm start timeout	2016-05-27 11:22:27 +02:00
virtualisation	nixos/libvirtd: Don't use the --daemon flag now that we use the 'notify' service type	2016-07-01 18:21:42 +02:00
module-list.nix	Merge pull request #16650 from RamKromberg/fix/spacefm-issue-15758	2016-07-05 13:02:43 +03:00
rename.nix	nixos: rewrite the grsecurity module	2016-06-14 03:38:12 +02:00