On Thu, 30 Apr 2015 13:47:52 0200 Felix Zielcke <fziel...@z-51.de> wrote:
> > Hello Andres, > > you need to run `sudo dpkg-reconfigure grub-efi-amd64' and then say yes > to the question if grub should get also installed to the removable media > path. > grub-install gets run on package upgrades. And with that setting it also > installs the \EFI\boot\bootx64.efi file which you need to boot. > Thank you very much, that worked! Both EFI files in question are now identical with same file date. Sorry for not getting that right the first time, but in the original bug I didn't find how to alter this configuration on an already installed system and I'm new to Debian, so I lack experience. So once again: thank you! -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
