|
|
@ -10,6 +10,8 @@ firmwareType:
|
|
|
|
timeout: 10
|
|
|
|
timeout: 10
|
|
|
|
- command: sed -i '/deb http/d' /etc/apt/sources.list
|
|
|
|
- command: sed -i '/deb http/d' /etc/apt/sources.list
|
|
|
|
timeout: 10
|
|
|
|
timeout: 10
|
|
|
|
|
|
|
|
- command: if [ -f /etc/apt/sources.list.d/dvd.list ]; then rm /etc/apt/sources.list.d/dvd.list; fi
|
|
|
|
|
|
|
|
timeout: 10
|
|
|
|
- command: apt-get update
|
|
|
|
- command: apt-get update
|
|
|
|
timeout: 120
|
|
|
|
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)
|
|
|
|
- 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)
|
|
|
|