From aaad344f8eb258f9097c099b60c0fe0508806c2d Mon Sep 17 00:00:00 2001 From: Robin Bourianes Date: Mon, 13 May 2024 11:18:00 +0200 Subject: [PATCH] wip: folder name workaround might not be required --- scripts/setup_workspace.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/setup_workspace.sh b/scripts/setup_workspace.sh index 807a063c..c8e378ce 100755 --- a/scripts/setup_workspace.sh +++ b/scripts/setup_workspace.sh @@ -41,8 +41,8 @@ if [ "$CI" = true ]; then WORKSPACE_DIR="$(dirname "$ROOT_DIR")" # workaround since repo is named 'kano' and in kli file it's 'maps' - mv "$WORKSPACE_DIR/kano" "$WORKSPACE_DIR/maps" - ln -s "$WORKSPACE_DIR/maps" "$WORKSPACE_DIR/kano" + # mv "$WORKSPACE_DIR/kano" "$WORKSPACE_DIR/maps" + # ln -s "$WORKSPACE_DIR/maps" "$WORKSPACE_DIR/kano" DEVELOPMENT_REPO_URL="https://$GITHUB_DEVELOPMENT_PAT@github.com/kalisio/development.git" else