gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

nixos/manual: don't use multi-definitions in installer chapter

Browse Source 
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.
This commit is contained in:
pennae
2023-02-08 04:35:40 +01:00
committed by Florian Brandes
parent fd3fd209d2
commit d060a9991c
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
nixos/doc/manual/installation/installing.chapter.md
View File

@@ -421,7 +421,7 @@ Use the following commands:
specify on which disk the GRUB boot loader is to be installed. specify on which disk the GRUB boot loader is to be installed.
Without it, NixOS cannot boot. 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) installing NixOS, the [](#opt-boot.loader.grub.useOSProber)
option can be set to `true` to automatically add them to the grub option can be set to `true` to automatically add them to the grub
menu. menu.
@@ -438,10 +438,10 @@ Use the following commands:
[`boot.loader.systemd-boot`](#opt-boot.loader.systemd-boot.enable) [`boot.loader.systemd-boot`](#opt-boot.loader.systemd-boot.enable)
as well. 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`. [](#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) other installed systems. With GRUB, set [](#opt-boot.loader.grub.useOSProber)
to `true`, but this will only detect windows partitions, not other linux to `true`, but this will only detect windows partitions, not other linux
distributions. If you dual boot another linux distribution, use system-boot distributions. If you dual boot another linux distribution, use system-boot