diff options
Diffstat (limited to 'resources')
| -rwxr-xr-x | resources/extract.sh | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/resources/extract.sh b/resources/extract.sh index fb2c30d..b413d46 100755 --- a/resources/extract.sh +++ b/resources/extract.sh @@ -2,7 +2,8 @@ db_file=games_anon.db -chosen_players="AaaarghBot Tiltak_Bot TakticianBot" +#chosen_players="AaaarghBot Tiltak_Bot TakticianBot" +chosen_players="" query() { query="(size == $1) and (result != '1-0') and (result != '0-1') and (result != '0-0') and (result != '1/2-1/2')" @@ -34,7 +35,10 @@ process() { ./pptdb "$size" "data/playtak-$size" > "data/check-$size" tail -n22 "data/check-$size" echo -ne "\tStripping overflows and illegal games... " - grep -Fvxf "data/check-$size" "data/playtak-$size" > "data/good-playtak-$size" + grep -Fvxf "data/check-$size" "data/playtak-$size" > "data/good-playtak-$size-all" + + shuf "data/good-playtak-$size-all" > "data/good-playtak-$size" + rm "data/good-playtak-$size-all" echo -en "Done.\n\tGenerating training data... " ./pptdb "$size" "data/good-playtak-$size" generate |