From c819d76ec70ba31c901da5898fe9d0fa17526d50 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <eelco.dolstra@logicblox.com>
Date: Fri, 15 Jun 2007 11:40:57 +0000
Subject: [PATCH] * Option boot.extraGrubEntries to add arbitrary text to
 Grub's menu.lst.

svn path=/nixos/trunk/; revision=8883
---
 installer/grub-menu-builder.sh |  8 ++++++++
 system/options.nix             | 13 +++++++++++++
 system/system.nix              |  1 +
 3 files changed, 22 insertions(+)

diff --git a/installer/grub-menu-builder.sh b/installer/grub-menu-builder.sh
index 50d8205f8ec..a1afcf63bf2 100644
--- a/installer/grub-menu-builder.sh
+++ b/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 $(
diff --git a/system/options.nix b/system/options.nix
index 49ad563b925..99df9153ac5 100644
--- a/system/options.nix
+++ b/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";
diff --git a/system/system.nix b/system/system.nix
index 42d560493ae..14bb3f5a708 100644
--- a/system/system.nix
+++ b/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"];
   };