On Saturday, February 1, 2020 at 11:39:04 AM UTC-5, vvs wrote:
>
> So the zip command apparently does not produce an identical compressed
>> file even if the contents are the same.
>>
>
> They never meant to be reproducible. You should use something like
> torrentzip for such purpose.
>
>
Do you mean ziptorrent? apt-get doesn't find torrentzip.
But when I did
$ sudo apt-get install ziptorrent
...
$ man ziptorrent
NAME
ziptorrent - torrentzip zip archives
SYNOPSIS
ziptorrent [-hnVv] archive [...]
...
$ cp -p metamath-program.zip a.zip
$ ziptorrent a.zip
Segmentation fault
(Doesn't give me a whole lot of confidence...)
Any suggestions?
Norm
--
You received this message because you are subscribed to the Google Groups
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/metamath/ab610b7d-ef6d-489c-88ef-dcf11114d729%40googlegroups.com.
