On Thu, Jan 4, 2024 at 10:57 AM Samuel Thibault <samuel.thiba...@gnu.org> wrote: > > Sergey Bugaev, le mer. 03 janv. 2024 21:56:54 +0300, a ecrit: > > perhaps I need to try two of them in parallel and some I/O-heavy > > workload in the background, as you're saying. > > Yes, that's needed to raise the probability of the bug.
I'm still unable to reproduce this, it's been running for 10+ hours at this point. That's two copies of it, and unrelated activity in the background. > > Could it be that the two strings are actually different (something > > being wrong with pipes perhaps)? > > I tried > > A=a ; time while /usr/bin/\[ "$A" = a ] ; do A="$(echo -n `echo a` )" ; done > ; echo $A > > The output is empty. But yes, that could be some missing flush or such > in pipes. Try A=abcd ; time while /usr/bin/\[ "$A" = abcd ] ; do A="$(echo -n `echo a``echo b`)$(echo -n `echo c``echo d`)" ; done ; echo $A perhaps? Sergey