Skip to content
Permalink

Comparing changes

This is a direct comparison between two commits made in this repository or its related repositories. View the default comparison for this range or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: archlinux/archinstall
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 19b8d90093573b5991823b3965864877a8e785e6
Choose a base ref
..
head repository: archlinux/archinstall
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 5b9574d3acbe5a106543e16d5cc02e1ed860d7b1
Choose a head ref
Showing with 3 additions and 1 deletion.
  1. +3 −1 archinstall/lib/installer.py
4 changes: 3 additions & 1 deletion archinstall/lib/installer.py
View file
Original file line number Diff line number Diff line change
@@ -954,6 +954,8 @@ def _add_grub_bootloader(
if SysInfo.has_uefi():
if not efi_partition:
raise ValueError('Could not detect efi partition')
elif not efi_partition.mountpoint:
raise ValueError('EFI partition is not mounted')

info(f"GRUB EFI partition: {efi_partition.dev_path}")

@@ -989,7 +991,7 @@ def _add_grub_bootloader(
raise DiskError(f'Could not install GRUB to {self.target}{efi_partition.mountpoint}: {err}')

# Copy to standard EFI path
efi_dir_path = self.target / efi_partition.mountpoint.relative_to('/') / 'EFI'
efi_dir_path = self.target / efi_partition.mountpoint.relative_to('/')
shutil.copy(efi_dir_path / 'grub' / 'grubx64.efi', efi_dir_path / 'BOOT' / 'BOOTX64.EFI')
else:
info(f"GRUB boot partition: {boot_partition.dev_path}")