wip: folder name workaround might not be required

kalisio · May 13, 2024 · aaad344 · aaad344
1 parent 229a91f
commit aaad344
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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