From 8a77a30bc18761de935bcb58fe1074a048741725 Mon Sep 17 00:00:00 2001 From: Samuel Leathers Date: Sun, 29 Oct 2017 00:20:52 +0200 Subject: [PATCH] install documentation: document boot.loader.grub.useOSProber --- nixos/doc/manual/installation/installing.xml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/nixos/doc/manual/installation/installing.xml b/nixos/doc/manual/installation/installing.xml index 94d8e9d2e1a..b0674307a56 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. + If there are other operating systems running on the machine before + installing NixOS, the + option can be set to + true to automatically add them to the grub menu. + Another critical option is , specifying the file systems that need to be mounted by NixOS. However, you typically don’t need to set it yourself, because