commit 2743e75f905285bb5a7aca6f4377d5da29b3208e parent 91f6b1d21fef43a2cc155c34edae3cb0683ecf35 Author: Antoine Amarilli <a3nm@a3nm.net> Date: Tue, 10 Jun 2014 18:52:54 +0200 create best files with extract Diffstat:
extract.sh | | | 3 | +++ |
1 file changed, 3 insertions(+), 0 deletions(-)
diff --git a/extract.sh b/extract.sh @@ -4,4 +4,7 @@ for a in `seq 2 $1` do echo -n "$a " grep DONE tmp/out$a | cut -d ' ' -f3 | tail -1 + R=$(grep DONE tmp/out$a | tail -1 | cut -d ' ' -f3) + echo "$a: $R" > tmp/best$a + grep -A "$(($a+1))" DONE tmp/out$a | tail -n $a >> tmp/best$a done