Searched refs:pgn_file (Results 1 – 1 of 1) sorted by relevance
36 pgn_file=live.pgn280 if [ -e "$pgn_file" ]282 echo "ERROR: $(basename $0): $pgn_file exists"287 echo Generating PGN file $pgn_file simulating live game broadcast295 mv $pgn_file_tmp $pgn_file326 mv $pgn_file_tmp $pgn_file353 mv $pgn_file_tmp $pgn_file354 echo done with games... waiting for a while before deleting $pgn_file357 rm $pgn_file