Changeset b38aed5

Timestamp:

08/28/2022 06:38:50 PM (20 months ago)

Author:

Julien Lepiller <julien@…>

Branches:

11.2, 11.3, 12.0, 12.1, kea, ken/TL2024, ken/inkscape-core-mods, ken/tuningfonts, lazarus, lxqt, plabs/newcss, plabs/python-mods, python3.11, qt5new, rahul/power-profiles-daemon, renodr/vulkan-addition, trunk, xry111/llvm18, xry111/soup3, xry111/xf86-video-removal

Children:

9737271

Parents:

8013518e

Message:

Fix typos

Location:

postlfs

Files:

• filesystems/uefi-bootloaders/grub-setup.xml (modified) (2 diffs)
• virtualization/qemu.xml (modified) (1 diff)

postlfs/filesystems/uefi-bootloaders/grub-setup.xml

@@ -286 +286 @@
 
     <para>
-      In these cases, following this section to install GRUB EFI
+      In these cases, follow this section to install GRUB EFI
       application into the hardcoded path and make a minimal boot
       configuration. Otherwise it's better to skip this section and read the
@@ -295 +295 @@
       To install GRUB with the EFI application installed into the hardcoded
       path <filename>EFI/BOOT/BOOTX64.EFI</filename>, first ensure the boot
-      partition mounted at <filename class="directory">/boot</filename>
+      partition is mounted at <filename class="directory">/boot</filename>
       and the ESP mounted at
       <filename class="directory">/boot/efi</filename>.  Then as the &root;

postlfs/virtualization/qemu.xml

@@ -475 +475 @@
     <para>
       <option>-pflash /usr/share/qemu/edk2-x86_64-code.fd</option>: Load a
-      a pre-built EDK2 UEFI firmware, instead of the default PC BIOS.  Use
+      pre-built EDK2 UEFI firmware, instead of the default PC BIOS.  Use
       this option if you want to boot the guest OS with UEFI.
     </para>