Eelco Dolstra f07f221f0e Replace grub-menu-builder with a much faster version ... The old GRUB menu builder script is quite slow, typically taking several seconds. This is a real annoyance since it's run every time you switch to a new configuration. Therefore this patch replaces the Bash script with a much faster Perl script. In a VirtualBox test, the execution time went from 2.7s to 0.1s. The Perl version is also more correct because it uses XML to get the GRUB configuration (through builtins.toXML), so there are no shell escaping issues. The new script currently lacks support for subconfigurations defined through "nesting.children".		2012-07-24 19:16:27 -04:00
..
cd-dvd	Global replace /var/run/current-system -> /run/current-system	2012-07-16 11:34:21 -04:00
efi-boot-stub	EFI shell got updated upstream, reflecting new hash	2012-07-05 08:31:44 +02:00
generations-dir	Reverting revisions 30103-30106: "always set nixpkgs.config.{state,store}Dir", etc.	2011-10-30 15:19:58 +00:00
grub	Replace grub-menu-builder with a much faster version	2012-07-24 19:16:27 -04:00
init-script	fix init-script-builder	2012-07-21 19:26:36 +02:00
scan	intel-5150.nix: add Intel 5150 wireless firmware support	2012-01-03 14:12:41 +00:00
tools	Remove broken "nopipefail" option	2012-07-02 10:57:36 -04:00