diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2026-05-13 20:51:15 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2026-05-17 11:30:51 +0300 |
| commit | 49dfc18f43fd7864b3316509d4a2adbb993d7151 (patch) | |
| tree | 52927af5e261b958d95ab9f31e59e990b684e439 | |
| parent | 99438d87750aebcb3c7ae9899fce81e9237678ec (diff) | |
doc: Add EFI hint for Chrooting into an existing system.
* doc/guix.texi (Chrooting into an existing system): Mention the
canonical directory to check to see if a machine has booted with EFI
support.
Change-Id: I98b2b3a8adc0cc5b49a91b976ca02c10ac424d40
| -rw-r--r-- | doc/guix.texi | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index 9e857ce6a27..d228d26b0cc 100644 --- a/doc/guix.texi +++ b/doc/guix.texi | |||
| @@ -52178,8 +52178,10 @@ mount --rbind /sys /mnt/sys | |||
| 52178 | mount --rbind /dev /mnt/dev | 52178 | mount --rbind /dev /mnt/dev |
| 52179 | @end example | 52179 | @end example |
| 52180 | 52180 | ||
| 52181 | If your system is EFI-based, you must also mount the ESP partition. | 52181 | A quick way to check if your system booted with EFI support is to check |
| 52182 | Assuming it is @file{/dev/sda1}, you can do so with: | 52182 | if @file{/sys/firmware/efi} exists. If your system is EFI-based, you |
| 52183 | must also mount the ESP partition. Assuming it is @file{/dev/sda1}, you | ||
| 52184 | can do so with: | ||
| 52183 | 52185 | ||
| 52184 | @example sh | 52186 | @example sh |
| 52185 | mount /dev/sda1 /mnt/boot/efi | 52187 | mount /dev/sda1 /mnt/boot/efi |