From 8d99a5c80d688b65e6ea89d1326ad8fb4e844d63 Mon Sep 17 00:00:00 2001
From: Alexander Schlemmer <alexander@mail-schlemmer.de>
Date: Fri, 17 Apr 2020 16:23:24 +0200
Subject: [PATCH] changed name of container in tools docker script
---
tools/copy_into_docker.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tools/copy_into_docker.sh b/tools/copy_into_docker.sh
index 41c9dfb9..efce266a 100755
--- a/tools/copy_into_docker.sh
+++ b/tools/copy_into_docker.sh
@@ -26,7 +26,7 @@ set -e
# Copy just the publicly accessible files
core_dir="$(dirname $0)/../src/core"
-container="compose_caosdb-server_1"
+container="linkahead"
docker_webui_root="/opt/caosdb/git/caosdb-server/caosdb-webui"
docker_dir="${docker_webui_root}/src/core/"
--
GitLab