On 7/17/25 20:03, Titus Newswanger wrote:
I just now inserted a Debian 12 installer usb and rebooted, making sure
to catch the bios boot device selection screen. It presented me with 9
boot options:
# 6 was "General UDisk 5.00"
# 9 was "UEFI: General UDisk 5.00"
My other 7 boot options are irrelevant to this.
If I boot the 6th option and install Debian it will install like you
described above. If I boot the 9th option and install Debian it will
create, among others, an efi partition mounted at /boot/efi that will
not be empty.
That's it! For me it is entry 4 and 11. I realized that there is a
similar entry at the end but I haven't thought that far that one is
legacy and one is UEFI. So, I always took the wrong one.
I am very grateful to all of you for your help. You saved my day (or I
should better say night). Thank you.
Flo.
