|
|
|
@ -8,13 +8,11 @@ firmwareType:
|
|
|
|
|
"*":
|
|
|
|
|
- command: apt-cdrom add -m -d=/media/cdrom/
|
|
|
|
|
timeout: 10
|
|
|
|
|
- command: sed -i '/deb http/d' /etc/apt/sources.list
|
|
|
|
|
timeout: 10
|
|
|
|
|
- command: apt-get update
|
|
|
|
|
timeout: 120
|
|
|
|
|
- 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)
|
|
|
|
|
timeout: 300
|
|
|
|
|
- command: apt install -y --no-upgrade -o Acquire::gpgv::Options::=--ignore-time-conflict shim-signed
|
|
|
|
|
timeout: 300
|
|
|
|
|
- command: sed -i '/deb cdrom/d' /etc/apt/sources.list
|
|
|
|
|
timeout: 10
|
|
|
|
|
- command: apt-get update
|
|
|
|
|
timeout: 120
|
|
|
|
|