diff options
| author | Eddy Pedroni <epedroni@pm.me> | 2025-07-17 20:11:00 +0200 |
|---|---|---|
| committer | Eddy Pedroni <epedroni@pm.me> | 2025-07-17 20:11:00 +0200 |
| commit | a8f48734acc06ff9f89348aaee41854272af4dd8 (patch) | |
| tree | c500f092159cddb4fbee82213bd617081415e931 /deployment/start-solo-tool.sh | |
| parent | dc2607e30894e1086009336d89d73d40918229c2 (diff) | |
Deployment attempt
Diffstat (limited to 'deployment/start-solo-tool.sh')
| -rwxr-xr-x | deployment/start-solo-tool.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/deployment/start-solo-tool.sh b/deployment/start-solo-tool.sh index 06a4d5d..dc3ec3b 100755 --- a/deployment/start-solo-tool.sh +++ b/deployment/start-solo-tool.sh @@ -1,8 +1,13 @@ #!/usr/bin/bash +# Wait until git server is reachable +until ping -c1 git.0xf7.com >/dev/null 2>&1; do :; done + # Get latest version git pull # Run web UI +export ST_USER=$(cat %d/st_user) +export ST_PASS=$(cat %d/st_pass) make web-deploy |