7d76671
1
2
3
4
cur_datetime="$(date '+%Y%m%d_%H%M%S')"; echo "Current Time: ${cur_datetime}"; python -u play_gradio.py | tee "log/run_${cur_datetime}.log"
