You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
19 lines
870 B
19 lines
870 B
7 years ago
|
# Make sure the correct bootloader package is installed for EFI.
|
||
|
|
# Also pull in shim so secureboot has a chance at working.
|
||
6 years ago
|
# Because of edge cases, we ignore BIOS, and do the same
|
||
|
|
# procedure for all EFI types.
|
||
|
7 years ago
|
---
|
||
|
|
firmwareType:
|
||
|
6 years ago
|
bios: "-/bin/true"
|
||
|
6 years ago
|
"*":
|
||
|
|
- command: apt-cdrom add -m -d=/media/cdrom/
|
||
|
|
timeout: 10
|
||
|
6 years ago
|
- command: sed -i '/deb http/d' /etc/apt/sources.list
|
||
|
|
timeout: 10
|
||
|
6 years ago
|
- command: apt-get update
|
||
|
|
timeout: 120
|
||
|
6 years ago
|
- command: apt install -y --no-upgrade -o Acquire::gpgv::Options::=--ignore-time-conflict grub-efi-$(if grep -q 64 /sys/firmware/efi/fw_platform_size; then echo amd64-signed; else echo ia32; fi)
|
||
|
6 years ago
|
timeout: 300
|
||
|
|
- command: apt install -y --no-upgrade -o Acquire::gpgv::Options::=--ignore-time-conflict shim-signed
|
||
|
|
timeout: 300
|