skip cloning if directory exists (aka mounted)

2025-10-25 00:32:49 -05:00
parent abceb07c1a
commit b2597a4a01
1 changed files with 3 additions and 2 deletions
--- a/docker/scripts/entrypoint.sh
+++ b/docker/scripts/entrypoint.sh
@@ -34,8 +34,9 @@ changeDir() {
    fi
 }

-# Clone the git repo
-git clone "$REPO" /home/user/pkg && \
+if [ ! -d "/home/user/pkg" ]; then
+    git clone "$REPO" /home/user/pkg && \
+fi
 cd /home/user/pkg && \
 checkoutCommit && \
 applyPatch && \