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 | ||
