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
Add /efi mount point for newer Arch/SystemD setups #43
Conversation
Recent Arch Linux installs use `/efi` as the EFI boot directory - https://wiki.archlinux.org/index.php/EFI_system_partition#Typical_mount_points - systemd/systemd#3757 (comment)
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.
bootctl checks for the ESP at /boot
, /efi
, and /boot/efi
, so it makes sense for us to check all three locations as well. I confirmed this change does not affect a Pop!_OS system or an Ubuntu system with the default /boot/efi
mountpoint. I'm approving for those reasons.
However, since #29, we check the output of bootctl --print-esp-path
, and only use the static list if we can't find the ESP from bootctl. I've installed Arch on a system with the ESP at /efi
, and bootctl --print-esp-path
returns /efi
; additionally, I'm able to schedule a firmware update successfully using sudo system76-firmware-cli schedule
or using the Firmware Manager gtk app (when started as root), without needing to apply this change.
bootctl is provided by the systemd
package in Arch, and should be installed on any Arch system since it's part of the base
package group. If you're having trouble applying a firmware update on Arch, what does bootctl --print-esp-path
output and what does sudo system76-firmware-cli schedule
output?
Hey @jacobgkau
Thanks for noting this, I was unaware of this functionality
Both of these look fine to me (now) but this patch might actually not have been necessary -- when I was trying to fix my system I found that I did not have I installed the version from the AUR (with no patches) just now, and Please feel free to close this PR -- as this change seems to not strictly necessary -- it is unlikely that people with properly configured and mounted |
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.
If we have a list of possible efi partition paths here, it might as well include /efi
, so it seems reasonable to merge. I'm not sure if it's likely, but there may be some systems without bootctl, and with it mounted at /efi
. This certainly shouldn't do any harm.
Thanks to all for the hard work, transparency and pushing the boundaries on Linux-on-laptops. I am loving my Oryx Pro. This is by far the easiest/best/most cross distro experience I've had with a linux software/hardware vendor. Appreciate the support for distros like Arch which are a little off the beaten path. |
Recent Arch Linux installs may sometimes use
/efi
as the EFI boot directory