From 8627cd80037caddd554675634c431523673327c4 Mon Sep 17 00:00:00 2001
From: pedro <git2021@cas.cat>
Date: Thu, 19 Sep 2024 12:40:49 -0300
Subject: [PATCH] bugifx workbench deploy

use tee instead of cat

here ${SUDO} is used, because it is assumed a third party system which
could have its own configuration, so we deal the different situations
fine (with or without sudo, etc.)
---
 deploy-workbench.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/deploy-workbench.sh b/deploy-workbench.sh
index ef855cc..bd9c8eb 100755
--- a/deploy-workbench.sh
+++ b/deploy-workbench.sh
@@ -198,8 +198,7 @@ create_persistence_partition() {
                 mkdir -p "${tmp_rw_mount}"
                 ${SUDO} mount "$(pwd)/${rw_img_path}" "${tmp_rw_mount}"
                 ${SUDO} mkdir -p "${tmp_rw_mount}/settings"
-                # TODO without SUDO fails
-                ${SUDO} cat > "${tmp_rw_mount}/settings/settings.ini" <<END
+                ${SUDO} tee "${tmp_rw_mount}/settings/settings.ini" <<END
 [settings]
 
 DH_TOKEN =