diff options
author | Dirk Engling <erdgeist@erdgeist.org> | 2019-03-07 15:27:37 +0100 |
---|---|---|
committer | Dirk Engling <erdgeist@erdgeist.org> | 2019-03-07 15:27:37 +0100 |
commit | 072d7dc38ebf8ac7e9b35afec8692a71dd7cdfbe (patch) | |
tree | 6f815b6d59a0351bca261c395b4a38bb8c190c35 | |
parent | 3ebe1038b3319e29f31ae0bd84fd73d924512a38 (diff) |
Add tiny script that runs the zip code sorter
-rw-r--r-- | postprocess.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/postprocess.sh b/postprocess.sh new file mode 100644 index 0000000..7c4b4e6 --- /dev/null +++ b/postprocess.sh | |||
@@ -0,0 +1,12 @@ | |||
1 | export LANG=C | ||
2 | export LC_ALL=C | ||
3 | export LC_CTYPE=C | ||
4 | |||
5 | sudo sysctl kern.maxfilesperproc=65563 | ||
6 | sudo sysctl kern.maxfiles=65563 | ||
7 | ulimit -n 65563 | ||
8 | |||
9 | for a in 199[56789]_Q? 20*_Q?; do ./sort_plz $a; done | ||
10 | |||
11 | rm -rf sorted | ||
12 | mkdir sorted | ||