Spaces:

fhudi
/

textgames

Running

textgames / play.sh

Upload folder using huggingface_hub

7d76671 verified about 1 month ago

142 Bytes

	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"