Jump to content

Dual Booting NixOS and Windows: Difference between revisions

m
Fix typo
imported>Pulsation
(fix typo in `--fs-uuid` search option, according to https://www.gnu.org/software/grub/manual/grub/html_node/search.html)
imported>Opoppe
m (Fix typo)
Line 53: Line 53:


<nowiki>systemd-boot</nowiki> can not load EFI binaries from other partitions,
<nowiki>systemd-boot</nowiki> can not load EFI binaries from other partitions,
and a pre-exisitng EFI partition from a Windows install may be smaller than we would like our <nowiki>/boot</nowiki> partition to be. If we still want Windows and NixOS to use the same EFI partition, we can use GRUB instead.
and a pre-existing EFI partition from a Windows install may be smaller than we would like our <nowiki>/boot</nowiki> partition to be. If we still want Windows and NixOS to use the same EFI partition, we can use GRUB instead.


Here we assume:
Here we assume:
Anonymous user