From f55654b3d406e003e76a9d284236a859452d4033 Mon Sep 17 00:00:00 2001
From: despiegk <kristof@incubaid.com>
Date: Tue, 14 Jan 2025 23:59:29 +0100
Subject: [PATCH] ...

---
 Testing/Temporary/CTestCostData.txt | 1 -
 docker/herolib/start.sh             | 3 +++
 2 files changed, 3 insertions(+), 1 deletion(-)
 delete mode 100644 Testing/Temporary/CTestCostData.txt
 mode change 100644 => 100755 docker/herolib/start.sh

diff --git a/Testing/Temporary/CTestCostData.txt b/Testing/Temporary/CTestCostData.txt
deleted file mode 100644
index ed97d539..00000000
--- a/Testing/Temporary/CTestCostData.txt
+++ /dev/null
@@ -1 +0,0 @@
----
diff --git a/docker/herolib/start.sh b/docker/herolib/start.sh
old mode 100644
new mode 100755
index a584aad7..5f455ef3
--- a/docker/herolib/start.sh
+++ b/docker/herolib/start.sh
@@ -4,5 +4,8 @@
 SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
 cd "$SCRIPT_DIR"
 
+docker rm herolib --force
 
+docker compose up -d
 
+./ssh_init.sh
\ No newline at end of file