Zimoun, Thanks for the report!
zimoun 写道:
diff -r --no-dereference /gnu/store/1wwdmzcjhrpal92sz2zwzhyqmbc3w7ri-dune-1.11.3{,-check}
Don't use ‘diff’ for this, use something like diffoscope:$ diffoscope --exclude-directory-metadata --html dune.html $old $new
-> https://www.tobias.gr/dune.htmlI think the problem is confined to the first screenful: one header byte differs, and then $old has an extra byte that shifts everything to the right causing these huge diffs.
Kind regards, T G-R
signature.asc
Description: PGP signature
