| # Resumable, retrying model fetch. Survives session teardown (doc 6.5 lesson). | |
| set -u | |
| . /workspace/.env | |
| # doc 6.5 #1: refuse to start if not a session leader | |
| if [ "$$" != "$(ps -o sid= -p $$ | tr -d ' ')" ]; then | |
| echo "WARN: not a session leader (pid $$ != sid) - continuing but vulnerable" | |
| fi | |
| REPO="$1"; DEST="$2" | |
| for i in $(seq 1 40); do | |
| echo "=== attempt $i $(date -Is) ===" | |
| /venv/main/bin/python /workspace/aditi/code/dl.py "$REPO" "$DEST" && { echo "FETCH_COMPLETE"; break; } | |
| echo "attempt $i failed, retrying in 10s"; sleep 10 | |
| done | |