Re: [External] Re: GRUB EFI blues - Debian 9/FAI 5.3.6

[Robert Markula]

Am 25.04.2018 um 09:18 schrieb Thomas Lange:
>>>>>> On Tue, 24 Apr 2018 17:55:13 +0000, Bob Apodaca 
>>>>>> <b...@phxlab.honeywell.com> said:
>     > if test -d /sys/firmware/efi ; then
>     >     echo GRUB_EFI
>     > fi
> I've added this now to class/60-misc.
Great, thank you!