|
|
@ -1,8 +1,10 @@
|
|
|
|
# Make sure the correct bootloader package is installed for EFI.
|
|
|
|
# Make sure the correct bootloader package is installed for EFI.
|
|
|
|
# Also pull in shim so secureboot has a chance at working.
|
|
|
|
# Also pull in shim so secureboot has a chance at working.
|
|
|
|
|
|
|
|
# Because of edge cases, we ignore BIOS, and do the same
|
|
|
|
|
|
|
|
# procedure for all EFI types.
|
|
|
|
---
|
|
|
|
---
|
|
|
|
firmwareType:
|
|
|
|
firmwareType:
|
|
|
|
bios: /bin/false
|
|
|
|
bios: "-/bin/true"
|
|
|
|
"*":
|
|
|
|
"*":
|
|
|
|
- command: apt-cdrom add -m -d=/media/cdrom/
|
|
|
|
- command: apt-cdrom add -m -d=/media/cdrom/
|
|
|
|
timeout: 10
|
|
|
|
timeout: 10
|
|
|
|