diff options
Diffstat (limited to 'extract.sh')
| -rwxr-xr-x | extract.sh | 8 |
1 files changed, 3 insertions, 5 deletions
@@ -5,10 +5,8 @@ db_file=games_anon.db query() { query="(size == $1) and (result != '1-0') and (result != '0-1') and (result != '0-0') and (result != '1/2-1/2')" selct="" - # for player in fwwwwibib archvenison NohatCoder nqeron ManaT rabbitboy84 applemonkeyman Tayacan AaaarghBot; do - # for player in NohatCoder AaaarghBot; do - for player in; do - # selct="$selct(player_black == '$player') or " + for player in fwwwwibib archvenison NohatCoder nqeron ManaT rabbitboy84 applemonkeyman Tayacan AaaarghBot applemonkeyman; do + # for player in; do selct="$selct(player_black == '$player') or (player_white == '$player') or " done; if [ -n "$selct" ]; then @@ -60,5 +58,5 @@ make pptdb for size in 5; do echo extract $size notation,result - process $size 20000 validation + process $size 200000 training done |