Bug#783759: Trigger for apt-get upgrade?

[3827eeabc49e4509]

On Thu, 30 Apr 2015 13:47:52 0200 Felix Zielcke <fzielcke at 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!