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. > 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. Samuel
