Bug#1000743: installation-reports: bootx64.efi didn't seem to get installed and no UEFI boot entry was created for Debian
> The installation manual provides all this information.
OK, this is fair, I wasn't thinking about the manual as I've installed Debian quite a few times and know how the installation goes.
Perhaps the text could include a reminder to check the manual for more info on firmware loading, or even a QR code to take me to the correct place?
>> I ended up grabbing https://saimei.ftp.acc.umu.se/cdimage/unofficial/non-free/firmware/testing/20211122/firmware.zip
>> and extracting the firmware files from firmware-iwlwifi_20210818-1_all.deb
>> Would the installer have coped if I'd just dropped that single deb file?
>
> Yes, as stated in the installation manual.
>
>> Maybe it'd be worth having an option to allow a user to tether a mobile phone via USB to grab the firmware online.
>
> This is automatic if the phone emulates a USB-ethernet adapter.
>
Perhaps the prompt should say "We can download the firmware automatically if you are able to use an alternative connection, such as mobile tethering", although I wonder how this would work for non-free firmware.
>> Also, a cdrom: entry was added to sources.list even though I installed from USB.
>
> Because both contain the same ISO image so have the same data structure.
But Debian was looking for these files at /media/cdrom - would the installation USB be re-mounted at this location?
--Adam
Reply to: