
Nov. 1, 2014
8:24 p.m.
Brian Inglis wrote:
This would require a tradeoff between the compiled sizes of the decompressors on your platform and the compressed data: 94K tz.tar.xz
We can shrink it even further than that, as follows: files=' africa antarctica asia australasia europe northamerica southamerica ' sed ' s/#.*// s/^/ / s/$/ / s/\([^0-9]\)0*\([0-9]\)/\1\2/g s/:0\([^0-9:]\)/\1/g s/[[:blank:]]\{1,\}/ /g s/ $// s/^ // /^$/d ' $files | lzip That is, before compressing, omit backward-compatibility material, commentary, and unnecessary white space and zeros. On my platform, the above command outputs 21,831 bytes total.