Eelco Dolstra 05a7e1368a * grub-menu-builder.sh: with copyKernels = true, don't delete all of ... /boot/kernels and then copy all the kernels/initrds. Instead, copy only the kernels/initrds that don't exist yet in /boot/kernels, then delete obsolete files in /boot/kernels. Also, use slightly nicer file names in /boot/kernels. svn path=/nixos/trunk/; revision=15505		2009-05-08 11:33:22 +00:00
..
activate-configuration.sh	* When doing chroot builds, the `build-chroot-dirs' option should	2008-12-15 23:54:10 +00:00
fontdir.nix	meta.function -> passthru.function	2008-11-04 21:24:58 +00:00
fonts.nix	* Don't put the Adobe bitmap fonts in the fontconfig search path	2008-08-27 10:00:49 +00:00
ids.nix	Add Upstart job for PulseAudio as a system-wide daemon.	2009-01-29 18:28:09 +00:00
modprobe	* Use the aggregator to combine the kernel modules tree with	2008-01-12 23:37:17 +00:00
options.nix	* grub-menu-builder.sh: with copyKernels = true, don't delete all of	2009-05-08 11:33:22 +00:00
switch-to-configuration.sh	* grub-menu-builder.sh: with copyKernels = true, don't delete all of	2009-05-08 11:33:22 +00:00
system.nix	Export some configuration data about on-boot layout	2009-05-03 11:08:17 +00:00
system.sh	* Be able to cope with future changes to Upstart.	2009-04-25 22:36:56 +00:00
users-groups.nix	* Create some groups ("disk", "kmem", "tty", ...) that the default	2008-07-02 18:03:43 +00:00