Il giorno dom 11 nov 2018 alle ore 22:17 Michał Górny <mgo...@gentoo.org> ha scritto:
> On Sun, 2018-11-11 at 21:53 +0100, Michał Górny wrote: > [...-] > Of course, one option would be to use ZIP ;-). > Zip archives have another big advantage; there is an index of files, so listing the archive contents and extracting a single file is very fast and does not depend from it's position in the archive. The big disadvantage is that only "desktop" profile has unzip by default Best regards, -Francesco