That's correct yes; if the option hasn't been set yet, and /boot/efi is
mounted, it migrates /boot/efi into it:
# We either migrate /boot/efi over, or we check if we have invalid devices
if [ -z "$RET" ] && [ "$seen" != "true" ]; then
echo "Trying to migrate /boot/efi into esp config"
esp="$(get_mounted_device /boot/efi)"
if [ "$esp" ]; then
esp="$(device_to_id "$esp")"
fi
if [ "$esp" ]; then
db_set grub-efi/install_devices "$esp"
db_fset grub-efi/install_devices seen true
RET="$esp"
fi
else
for device in $RET; do
if [ ! -e "${device%,}" ]; then
valid=0
break
fi
done
fi
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/2083176
Title:
grub-efi install device being prompted on upgrade, despite only
/boot/efi being an option.
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/2083176/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
