Re: Writing to /dev/clipboard from multiple processes in Bash gives inconsistent behaviour

[Corinna Vinschen <corinna-cygwin at cygwin dot com>]

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

Attachment: pgpL9ICoTJlgU.pgp
Description: PGP signature