From 9473391ba5376b93c88270e30940e432432444c4 Mon Sep 17 00:00:00 2001
From: pedro <git2021@cas.cat>
Date: Fri, 20 Sep 2024 11:36:42 -0300
Subject: [PATCH] deploy-workbench.sh: use proper sudo here

---
 deploy-workbench.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deploy-workbench.sh b/deploy-workbench.sh
index 17ac89f..0fa487e 100755
--- a/deploy-workbench.sh
+++ b/deploy-workbench.sh
@@ -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/"