UEFI booting

[Jerry Steele]

Worked it out...

The machine was in the GRUB_EFI class, but the package config that it was
using was not telling it to install the "grub-efi" package, instead it was
installing "grub-pc", so the command in the GRUB_EFI/10-setup script was
working, it just wasn't doing what it was supposed to...

Thanks

Jerry




On Mon, 1 Jul 2019 at 08:50, Thomas Lange <lange at informatik.uni-koeln.de>
wrote:

> You can check the entries of the EFI boot manager by
> calling
> efibootmgr
> or
> efibootmgr -v
>
> Before rebooting the client.
>
> Normally you should see an entry Debian there. Also check the boot order.
>
> --
> regards Thomas
>


-- 
---

Jerry Steele
Telephone: +44 (0)7492 910225
GPG: 43A3A8C6
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.uni-koeln.de/pipermail/linux-fai/attachments/20190702/4d7bd145/attachment.html>