From 861ebec769dd0b05bff1a36e0fb5b1e06f9a5bf8 Mon Sep 17 00:00:00 2001 From: pennae Date: Wed, 8 Feb 2023 04:35:40 +0100 Subject: [PATCH] nixos/manual: don't use multi-definitions in installer chapter pandoc renders these to multiple docbook paragraphs in a single definition for the term, not multiple *actual* definitions for the same term. this is most likely not what is intended here, so let's use multiple paragraphs instead. --- nixos/doc/manual/installation/installing.chapter.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/nixos/doc/manual/installation/installing.chapter.md b/nixos/doc/manual/installation/installing.chapter.md index ac7cf5a7bfc5..d2ca314667c6 100644 --- a/nixos/doc/manual/installation/installing.chapter.md +++ b/nixos/doc/manual/installation/installing.chapter.md @@ -421,7 +421,7 @@ Use the following commands: specify on which disk the GRUB boot loader is to be installed. Without it, NixOS cannot boot. - : If there are other operating systems running on the machine before + If there are other operating systems running on the machine before installing NixOS, the [](#opt-boot.loader.grub.useOSProber) option can be set to `true` to automatically add them to the grub menu. @@ -438,10 +438,10 @@ Use the following commands: [`boot.loader.systemd-boot`](#opt-boot.loader.systemd-boot.enable) as well. - : If you want to use GRUB, set [](#opt-boot.loader.grub.device) to `nodev` and + If you want to use GRUB, set [](#opt-boot.loader.grub.device) to `nodev` and [](#opt-boot.loader.grub.efiSupport) to `true`. - : With system-boot, you should not need any special configuration to detect + With system-boot, you should not need any special configuration to detect other installed systems. With GRUB, set [](#opt-boot.loader.grub.useOSProber) to `true`, but this will only detect windows partitions, not other linux distributions. If you dual boot another linux distribution, use system-boot