Control: severity -1 important

Hi,

Sorry for not getting back to you sooner, your bug report didn't reach the
mailing list due to uncompressed attachments (and mail size limits)…

Ramakrishnan Muthukrishnan <rkrish...@debian.org> (2016-04-21):
> I installed debian from a debian testing nightly iso image for amd64 on
> a Dell XPS13 laptop.
> 
> The installation went smoothly. On the first reboot, after removing the
> installation media (USB stick), the machine won't boot and complains
> that it cannot find a boot media.
> 
> I then searched the web and found similar reports and found this guide:
> 
>  <https://github.com/jgbarah/Notes/blob/master/debian-xps-13.md>
> 
> which solved the problem by first preparing a boot media using rEFInd
> and booting with it into the just installed Debian system and then
> renaming/moving certain files. Pasting the relevant instructions below:
> 
> cd /boot/efi/EFI
> cp -r debian BOOT
> mv BOOT/grubx64.efi BOOT/bootx64.efi
> 
> Is this something specific to the way Dell XPS13 bios/efi firmware
> expects? This is my first installation of Debian on a UEFI machine, so
> perhaps there were better ways out of this? But perhaps like me, there
> are other joe users new to EFI and face similar issues and then move
> away after a failed installation.
> 
> I will be glad to help with further information and any further testing
> on this machine.

Could this be another case of needing this specific option?
  
https://wiki.debian.org/UEFI#Force_grub-efi_installation_to_the_removable_media_path

Cc-ing Steve, who might know.


KiBi.

Attachment: signature.asc
Description: Digital signature

Reply via email to