From d0f3f337d2e2944aafe6648fb62554cfc93c0dcf Mon Sep 17 00:00:00 2001
From: pedro <git2021@cas.cat>
Date: Fri, 20 Sep 2024 11:36:24 -0300
Subject: [PATCH] deploy-workbench.sh: update with new settings.ini

---
 deploy-workbench.sh | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/deploy-workbench.sh b/deploy-workbench.sh
index fc56408..17ac89f 100755
--- a/deploy-workbench.sh
+++ b/deploy-workbench.sh
@@ -201,12 +201,8 @@ create_persistence_partition() {
                 ${SUDO} tee "${tmp_rw_mount}/settings/settings.ini" <<END
 [settings]
 
-DH_TOKEN =
-DH_URL =
-
-SNAPSHOTS_PATH = /mnt
-LOGS_PATH = /mnt
-VERSION =
+url = http://127.0.0.1:8000/api/snapshot/
+token = '1234'
 END
                 ${SUDO} umount "${tmp_rw_mount}"