diff options
Diffstat (limited to 'resources/extract.sh')
| -rwxr-xr-x | resources/extract.sh | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/resources/extract.sh b/resources/extract.sh index 7fdda28..0e78505 100755 --- a/resources/extract.sh +++ b/resources/extract.sh @@ -2,9 +2,7 @@ db_file=games_anon.db -chosen_players="fwwwwibib archvenison NohatCoder nqeron ManaT -SultanPepper orfane rabbitboy84 applemonkeyman Reid Tayacan Breeze -AaaarghBot" +chosen_players="AaaarghBot Tiltak_Bot" query() { query="(size == $1) and (result != '1-0') and (result != '0-1') and (result != '0-0') and (result != '1/2-1/2')" @@ -62,7 +60,7 @@ fi make pptdb -for size in 5 6; do +for size in 5; do echo extract $size notation,result process $size 400000 training |