deploy-workbench.sh: use proper sudo here

This commit is contained in:
pedro 2024-09-20 11:36:42 -03:00
parent d0f3f337d2
commit 9473391ba5

View file

@ -98,7 +98,7 @@ LABEL linux
END
)"
# TIMEOUT 60 means 6 seconds :)
sudo tee "${ISO_PATH}/staging/isolinux/isolinux.cfg" <<EOF
${SUDO} tee "${ISO_PATH}/staging/isolinux/isolinux.cfg" <<EOF
${isolinuxcfg_str}
EOF
${SUDO} cp /usr/lib/ISOLINUX/isolinux.bin "${ISO_PATH}/staging/isolinux/"