* Option boot.extraGrubEntries to add arbitrary text to Grub's menu.lst.

svn path=/nixos/trunk/; revision=8883

installer/grub-menu-builder.sh

@@ -65,6 +65,14 @@ if test -n "$tmp"; then
 fi
 
 
+# Additional entries specified verbatim by the configuration.
+cat >> $tmp <<EOF
+
+@extraGrubEntries@
+
+EOF
+
+
 # Add all generations of the system profile to the menu, in reverse
 # (most recent to least recent) order.
 for generation in $(

system/options.nix

@@ -189,6 +189,19 @@
   }
 
 
+  {
+    name = ["boot" "extraGrubEntries"];
+    default = "";
+    example = "
+      title Windows
+        chainloader (hd0,1)+1
+    ";
+    description = "
+      Any additional entries you want added to the Grub boot menu.
+    ";
+  }
+
+
   { 
     name = ["networking" "hostName"];
     default = "nixos";

system/system.nix

@@ -288,6 +288,7 @@ rec {
     inherit (pkgs) bash;
     path = [pkgs.coreutils pkgs.gnused pkgs.gnugrep];
     copyKernels = config.get ["boot" "copyKernels"];
+    extraGrubEntries = config.get ["boot" "extraGrubEntries"];
   };