Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > linux.debian.bugs.dist > #1083431

Bug#1000743: installation-reports: bootx64.efi didn't seem to get installed and no UEFI boot entry was created for Debian

From "Adam Baxter" <debian@voltagex.org>
Newsgroups linux.debian.bugs.dist, linux.debian.maint.boot
Subject Bug#1000743: installation-reports: bootx64.efi didn't seem to get installed and no UEFI boot entry was created for Debian
Date 2021-11-28 23:10 +0100
Message-ID <DoAwV-13G-1@gated-at.bofh.it> (permalink)
References <DoqHg-3u6-3@gated-at.bofh.it> <Doszn-4Az-1@gated-at.bofh.it> <DoqHg-3u6-3@gated-at.bofh.it> <Doszn-4Az-1@gated-at.bofh.it>
Organization linux.* mail to news gateway

Cross-posted to 2 groups.

Show all headers | View raw


> 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

Back to linux.debian.bugs.dist | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread


Thread

Bug#1000743: installation-reports: bootx64.efi didn't seem to get installed and no UEFI boot entry was created for Debian Pascal Hambourg <pascal@plouf.fr.eu.org> - 2021-11-28 14:40 +0100
  Bug#1000743: installation-reports: bootx64.efi didn't seem to get installed and no UEFI boot entry was created for Debian Steve McIntyre <steve@einval.com> - 2021-11-28 15:10 +0100
    Bug#1000743: installation-reports: bootx64.efi didn't seem to get installed and no UEFI boot entry was created for Debian Pascal Hambourg <pascal@plouf.fr.eu.org> - 2021-11-28 20:50 +0100
    Bug#1000743: installation-reports: bootx64.efi didn't seem to get installed and no UEFI boot entry was created for Debian debian@voltagex.org - 2021-11-28 23:10 +0100
      Bug#1000743: installation-reports: bootx64.efi didn't seem to get installed and no UEFI boot entry was created for Debian Steve McIntyre <steve@einval.com> - 2021-11-28 23:20 +0100
  Bug#1000743: installation-reports: bootx64.efi didn't seem to get installed and no UEFI boot entry was created for Debian "Adam Baxter" <debian@voltagex.org> - 2021-11-28 23:10 +0100
    Bug#1000743: installation-reports: bootx64.efi didn't seem to get installed and no UEFI boot entry was created for Debian Pascal Hambourg <pascal@plouf.fr.eu.org> - 2021-11-29 00:40 +0100

csiph-web