From 50e8cb5f6b939171e727d5c9dca096078248fac5 Mon Sep 17 00:00:00 2001
From: pedro <git2021@cas.cat>
Date: Fri, 20 Sep 2024 11:39:23 -0300
Subject: [PATCH] deploy-workbench.sh: just copy local settings.ini

---
 deploy-workbench.sh | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/deploy-workbench.sh b/deploy-workbench.sh
index 0fa487e..039f4ef 100755
--- a/deploy-workbench.sh
+++ b/deploy-workbench.sh
@@ -198,12 +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"
-                ${SUDO} tee "${tmp_rw_mount}/settings/settings.ini" <<END
-[settings]
-
-url = http://127.0.0.1:8000/api/snapshot/
-token = '1234'
-END
+                ${SUDO} cp -v settings.ini "${tmp_rw_mount}/settings/settings.ini"
                 ${SUDO} umount "${tmp_rw_mount}"
 
                 uuid="$(blkid "${rw_img_path}" | awk '{ print $3; }')"