skip clone if repo mounted

2025-10-25 02:05:37 -05:00
parent abceb07c1a
commit a6d35036f3
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 || exit $?
+fi
 cd /home/user/pkg && \
 checkoutCommit && \
 applyPatch && \