Hi Steve,

> I *think* I might see what's going on here. Did you switch your system
> to using EFI by hand at some point? On a system installed via d-i

Buuhhh, not that I am aware off. AFAIR (but this is quite some time ago)
I installed it from a installer iso dumped onto an USB stick.

> etc., I would expect to see grub-efi-amd64 installed. And that's the

Hmm, should I install it? It seems that grub works properly atm, so
touching these kind of things is always scary for me.

Best

Norbert

--
PREINING Norbert                              https://www.preining.info
Fujitsu Research  +  IFMGA Guide  +  TU Wien  +  TeX Live  + Debian Dev
GPG: 0x860CDC13   fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13

Reply via email to