Hi! On Tue, 2018-11-06 at 10:47:02 +0100, Thomas Schwinge wrote: > On Tue, 6 Nov 2018 02:47:53 +0100, Guillem Jover wrote: > > * Makefile (dist): Change bz2 to xz. > > (%.xz): Add target. > > (%.bz2): Remove target. > > Curious: why a) use "xz" instead of what we got before, b) move from > "bz2" to "xz" instead of offering both (like we continue to do for "gz")?
Sorry, should have added some rationale, thought it was obvious! :) xz compresses much better than gzip and bzip2. gzip is very universal in the availability sense, it's also pretty fast, and even though takes more space it uses less memory. bzip2 OTOH is not widely available, it's slow and takes more space, so it seems superfluous, and providing three compressed tarballs, seems like a waste of space on the server. :) Thanks, Guillem