2017-07-30 20:51:32 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
2017-10-01 15:35:35 +00:00
|
|
|
if [ "$bootloader" == "BIOS" ]; then
|
2017-08-12 14:01:00 +00:00
|
|
|
echo "~> Not an EFI host, not checking for EFI."
|
2017-08-31 14:27:55 +00:00
|
|
|
amf_return=0
|
2017-07-30 20:51:32 +00:00
|
|
|
else
|
2017-10-01 15:35:35 +00:00
|
|
|
ls /sys/firmware/efi/efivars 2>/tmp/arch-maride-flavour_checks_uefi_error.log 1>/tmp/arch-maride-flavour_checks_uefi_out.log
|
|
|
|
|
return=$?
|
|
|
|
|
|
|
|
|
|
if [ "$return" -eq 0 ]; then
|
|
|
|
|
amf_return=0
|
|
|
|
|
else
|
|
|
|
|
echo "~> This doesn't seem to be an UEFI boot. Please boot UEFI."
|
|
|
|
|
amf_return=1
|
|
|
|
|
fi
|
2017-07-30 20:51:32 +00:00
|
|
|
fi
|
