diff options
| author | Eddy Pedroni <epedroni@pm.me> | 2025-11-16 20:27:09 +0100 |
|---|---|---|
| committer | Eddy Pedroni <epedroni@pm.me> | 2025-11-16 20:27:09 +0100 |
| commit | c77a8b5fb6a86dae2c9a97796067a5740e112a0d (patch) | |
| tree | cc05a4abf95027acbebed423dc82f82caa0f6c8d /deployment | |
| parent | f333dc380bfdc4c91f288c5041b11a6cf1a1df30 (diff) | |
Diffstat (limited to 'deployment')
| -rwxr-xr-x | deployment/start-solo-tool.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/deployment/start-solo-tool.sh b/deployment/start-solo-tool.sh index 5ef98a0..abe173a 100755 --- a/deployment/start-solo-tool.sh +++ b/deployment/start-solo-tool.sh @@ -10,6 +10,7 @@ git pull count=0 until aconnect -l | grep "SoloTool Virtual MIDI"; do sleep 0.5 + ((count++)) if [[ $count -gt 60 ]] then break |