- urls=(
- ${pre}headers-${vb}_${vc}_all.deb
- ${pre}{headers,image-unsigned,modules}-${vb}-generic_${vc}_amd64.deb
- )
- wget "${urls[@]}"
- chroot $FAI_ROOT make install
-
- chroot $FAI_ROOT bash <<EOF
+ if ! dpkg -s -- linux-headers-${vb} 2>&1 | grep -Fx "Status: install ok installed" &>/dev/null; then
+ urls=(
+ ${pre}headers-${vb}_${vc}_all.deb
+ ${pre}{headers,image-unsigned,modules}-${vb}-generic_${vc}_amd64.deb
+ )
+ wget "${urls[@]}"
+ $chroot bash <<EOF