On Sun, Nov 20, 2016 at 02:57:17AM +0100, Cyril Brulebois wrote: >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.
Yes, it sounds exactly like that. :-( -- Steve McIntyre, Cambridge, UK. st...@einval.com "You can't barbecue lettuce!" -- Ellie Crane
