From 80e8ec820c70f8a0355e20fb68ff72d7cf77d62a Mon Sep 17 00:00:00 2001 From: Philipp Spilger <philipp.spilger@kip.uni-heidelberg.de> Date: Tue, 13 Feb 2024 10:17:03 +0100 Subject: [PATCH] chore: Remove dependency on commons.sh from deploy_container script Change-Id: I82d0e0e0075eb8345dd97e14cfa91cf498e3753c --- bin/yashchiki_deploy_container.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/yashchiki_deploy_container.sh b/bin/yashchiki_deploy_container.sh index 51de53f2..54c5011f 100755 --- a/bin/yashchiki_deploy_container.sh +++ b/bin/yashchiki_deploy_container.sh @@ -7,7 +7,7 @@ shopt -s inherit_errexit # Think twice before adding any output! ROOT_DIR="$(dirname "$(dirname "$(readlink -m "${BASH_SOURCE[0]}")")")" -source "${ROOT_DIR}/lib/yashchiki/commons.sh" +source "${ROOT_DIR}/lib/yashchiki/get_change_name.sh" INSTALL_DIR="/containers/${CONTAINER_BUILD_TYPE}" FALLBACK_DIR="${HOME}/container_mount_full" -- GitLab