mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-10-31 14:41:27 +00:00
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.
This commit is contained in:
parent
7098315342
commit
861ebec769
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user