1 2 3 4 5 6 7 8 9 10 11
#!/bin/bash -v redis-server & cd ./vio ./run.sh while [ ! -f logs/runtime_vio.log ]; do sleep 1 done tail -F logs/runtime_vio.log