summary refs log tree commit diff
diff options
context:
space:
mode:
authorSamuel Leathers <sam@appliedtrust.com>2017-10-29 00:20:52 +0200
committerSamuel Leathers <sam@appliedtrust.com>2017-10-29 14:27:21 +0100
commit8a77a30bc18761de935bcb58fe1074a048741725 (patch)
tree8fb58ad2a7c4d5a274fa1a1414651c094448c2ca
parented8e485c5dd4af5cbf99938fd6d9c8ebf8f76049 (diff)
downloadnixlib-8a77a30bc18761de935bcb58fe1074a048741725.tar
nixlib-8a77a30bc18761de935bcb58fe1074a048741725.tar.gz
nixlib-8a77a30bc18761de935bcb58fe1074a048741725.tar.bz2
nixlib-8a77a30bc18761de935bcb58fe1074a048741725.tar.lz
nixlib-8a77a30bc18761de935bcb58fe1074a048741725.tar.xz
nixlib-8a77a30bc18761de935bcb58fe1074a048741725.tar.zst
nixlib-8a77a30bc18761de935bcb58fe1074a048741725.zip
install documentation: document boot.loader.grub.useOSProber
-rw-r--r--nixos/doc/manual/installation/installing.xml5
1 files changed, 5 insertions, 0 deletions
diff --git a/nixos/doc/manual/installation/installing.xml b/nixos/doc/manual/installation/installing.xml
index 94d8e9d2e1a3..b0674307a563 100644
--- a/nixos/doc/manual/installation/installing.xml
+++ b/nixos/doc/manual/installation/installing.xml
@@ -140,6 +140,11 @@
     the GRUB boot loader is to be installed.  Without it, NixOS cannot
     boot.</para>
 
+    <para>If there are other operating systems running on the machine before
+    installing NixOS, the
+    <option>boot.loader.grub.useOSProber</option> option can be set to
+    <literal>true</literal> to automatically add them to the grub menu.</para>
+
     <para>Another critical option is <option>fileSystems</option>,
     specifying the file systems that need to be mounted by NixOS.
     However, you typically don’t need to set it yourself, because