> > 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. Could .gz or .bz2 be used instead? I think those are stable. > Again they never meant to be used like that, so it depends on how carefully you avoid any volatility. Any discrepancies in time stamps, names, paths or compression parameters could lead to ambiguous output. -- 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/7dec3119-caa9-4b5f-9123-69f7b8a1c4f7%40googlegroups.com.
