-
Notifications
You must be signed in to change notification settings - Fork 48
arch: handle more boot paths for installs #247
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
Fixes anatol#246 In Arch Linux, we currently build and install the initramfs/kernel at /boot and assume that's the layout of the users' system. However, if /boot does not exists then the script will fail, thus leaving it up to the user to build the image and install at a boot path like /efi manually.
@@ -3,15 +3,25 @@ | |||
# find out all installed kernels | |||
mapfile -d '' kernels < <(find /usr/lib/modules -maxdepth 1 -type d ! -name "modules" -print0) | |||
|
|||
# paths to boot partition for the initramfs image and kernel | |||
boot_paths=("/efi" "/boot") |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
/boot/efi
is technically also a valid boot partition path for systemd and from the mkinitcpio presets it appears Arch Linux assumes /efi
by default. Since boot paths should be distribution dependent, choosing not to include /boot/efi
Thank you! The change looks reasonable. |
The Arch Linux user actually needs to choose whether For example, So why change? |
I'm closing this PR in favor of aligning to the distribution's current default paths. Going against the distro's standards just makes life harder and not having |
Fixes #246