diff options
author | Dirk Engling <erdgeist@erdgeist.org> | 2019-06-29 18:51:00 +0200 |
---|---|---|
committer | Dirk Engling <erdgeist@erdgeist.org> | 2019-06-29 18:51:00 +0200 |
commit | fb3616e06ca20ffe78dfb00b962a2599a46b2a5f (patch) | |
tree | fe7ad54e8cb17174b3296b63f41ad1f5b1038f8e /parasort.sh | |
parent | b4bf8417af0d8ebff2c50570c70fdecaf6a53ed9 (diff) |
Clean up 1992 post processing
Diffstat (limited to 'parasort.sh')
-rw-r--r-- | parasort.sh | 17 |
1 files changed, 11 insertions, 6 deletions
diff --git a/parasort.sh b/parasort.sh index 6565d61..b593bb9 100644 --- a/parasort.sh +++ b/parasort.sh | |||
@@ -18,11 +18,16 @@ export PATH=${PATH}:`pwd -P`/bin/ | |||
18 | mkdir -p work/sorted | 18 | mkdir -p work/sorted |
19 | cd work/output || exit 1 | 19 | cd work/output || exit 1 |
20 | 20 | ||
21 | for a in *[05]; do echo "$a" >&2; merge_entries $a > ../sorted/$a; done & | 21 | starttime=`date +%s` |
22 | for a in *[16]; do echo " $a" >&2; merge_entries $a > ../sorted/$a; done & | 22 | |
23 | for a in *[27]; do echo " $a" >&2; merge_entries $a > ../sorted/$a; done & | 23 | for a in ???[05]?; do echo "$a" >&2; merge_entries $a > ../sorted/$a; done & |
24 | for a in *[38]; do echo " $a" >&2; merge_entries $a > ../sorted/$a; done & | 24 | for a in ???[16]?; do echo " $a" >&2; merge_entries $a > ../sorted/$a; done & |
25 | for a in *[49]; do echo " $a" >&2; merge_entries $a > ../sorted/$a; done & | 25 | for a in ???[27]?; do echo " $a" >&2; merge_entries $a > ../sorted/$a; done & |
26 | for a in brken *_; do echo " $a" >&2; merge_entries $a > ../sorted/$a; done & | 26 | for a in ???[38]?; do echo " $a" >&2; merge_entries $a > ../sorted/$a; done & |
27 | for a in ???[49]?; do echo " $a" >&2; merge_entries $a > ../sorted/$a; done & | ||
28 | for a in brken ???_?; do echo " $a" >&2; merge_entries $a > ../sorted/$a; done & | ||
27 | 29 | ||
28 | wait | 30 | wait |
31 | |||
32 | elapsed=$(( `date +%s` - starttime )) | ||
33 | printf "Finished in %d seconds (%d minutes)\n" ${elapsed} $(( elapsed / 60 )) | ||