On Feb 12 13:45, Adam Dinwoodie wrote:
> I've spotted some slightly odd behaviour when writing things from
> multiple processes to /dev/clipboard.
>
> Easiest to show this with an example:
>
> for n in {1..10}; do echo $n; done >/dev/clipboard; cat /dev/clipboard
>
> I expect this to print out the numbers 1–10 to the terminal. Sometimes
> it does, but sometimes it misses out some of the numbers at the end;
> printing the digits 1–8, say, but no more. Generally it gets to around
> 7–9, but I've seen it managing to only get up to 3 on one occasion.
I can't reproduce this. First I tried this manually a couple of times,
but then I created a loop:
for i in {1..1000}
do
echo > /dev/clipboard
for n in {1..10}; do echo $n; done > /dev/clipboard
grep -q 10 /dev/clipboard || cat /dev/clipboard
done
and it didn't fail once. I'm not sure what to do if I don't have a
reproducible testcase...
Corinna
--
Corinna Vinschen Please, send mails regarding Cygwin to
Cygwin Maintainer cygwin AT cygwin DOT com
Red Hat
pgpcU2Z0qlmo9.pgp
Description: PGP signature
