The Nest
Explore
398
The sound distributed version control system

#704 [CONSISTENCY, DISASTER, pull-loop.sh] two repos are not equal

Closed on February 27, 2023
tankf33der on August 12, 2022

A complex beast. Current short version of pull-loop.sh ends with diff -qr output:

...
...
+ diff -qr repo repo2
Files repo/drivers/sound/Readme.cards and repo2/drivers/sound/Readme.cards differ
Files repo/drivers/sound/Readme.linux and repo2/drivers/sound/Readme.linux differ
Files repo/drivers/sound/Readme.modules and repo2/drivers/sound/Readme.modules differ
Files repo/drivers/sound/Readme.v30 and repo2/drivers/sound/Readme.v30 differ
Files repo/.pijul/config and repo2/.pijul/config differ
Files repo/.pijul/pristine/db and repo2/.pijul/pristine/db differ
$

This is wrong. Only two last lines must be here.

If I do clone manually everything is ok on the SAME data!

$ cd pijul-tests-data
$ pijul clone repo repo3
$ diff -qr repo repo3
Files repo/.pijul/config and repo3/.pijul/config differ
Files repo/.pijul/pristine/db and repo3/.pijul/pristine/db differ
$
tankf33der on August 12, 2022

Note: If I do not clone empty repo and pull on every loop and do it once at the end everything is ok on the SAME data.

tankf33der on August 13, 2022

If I ignore this i get real collision on approx. 34th iteration.

tankf33der on August 15, 2022

Maybe depends from [#701].

pmeunier added a change on February 27, 2023
Fixing a bug when outputting after a pull, when a path to be output is a string-prefix of another one without being a path-prefix of that other one
5XCNW4EVBUVSZPDPGLHQOZJOUWMMSCLK7QTXF7GNS3L5Q2G2MLCAC
main
pmeunier on February 27, 2023

I fixed the first half of this bug, let’s try to tackle the second one.

tankf33der on February 27, 2023

Will you push both to main?

pmeunier added a change on February 27, 2023
Order of removing paths when outputting a repo
PEUUYRZ5MHYM2IQTN3ASXPIFZSK5KI32LIHWM6RIWVRRXIQ5GTNQC
main
pmeunier on February 27, 2023

Done!

pmeunier closed this discussion on February 27, 2023
pmeunier on February 27, 2023

Now I can push to main indeed.

tankf33der on February 27, 2023

Test still failed. Did you run test script?

tankf33der reopened this discussion on February 27, 2023
tankf33der on February 27, 2023

Fixed.

tankf33der closed this discussion on February 27, 2023