Bug#747519: bibtool: "Symbol does not start with a letter" random errors with pipe

[Jerome BENOIT <calculus@rezozer.net>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hello Vincent,

thanks for your email.

I can reproduce the issue on my laptop too,
but the upstream could not reproduce it on his virtual box.
Have you try your material on a virtual box ?

Best wishes,
Jerome

On 02/03/15 13:13, Vincent Lefevre wrote:
> Control: found -1 2.58+ds-1
> 
> With the following testcase
> 
> ------------------------------------------------------------------------
> #!/bin/sh
> 
> bibtool -V
> 
> cat > input.bib <<EOF
> @article{key,
>   AUTHOR = {Aa Bbbbbbbb, Ccccccc and Dddddd, Eeeeee and Fffff, Gggggg},
>   TITLE = {Some title}
> }
> EOF
> 
> rm -f out-old.bib
> while true
> do
>   bibtool -q -- 'select{@article}' input.bib > out-new.bib
>   [ -f out-old.bib ] || cp out-new.bib out-old.bib
>   cmp out-new.bib out-old.bib || break
> done
> ------------------------------------------------------------------------
> 
> I can reproduce the bug on two of my machines with both unstable
> and experimental bibtool packages:
>   * Laptop with 2 cores, physical access.
>   * Desktop machine with 8 cores, SSH access.
> 
> I need to wait for a few seconds up to several dozens of seconds
> (in the worst case, it took up to 84 seconds on my laptop).
> 
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQEcBAEBAgAGBQJU9FjJAAoJEIC/w4IMSybjlmgIAKtojAqFLufPaUJ03Cqryuk6
5XWrPWW4HTvhRV2EnzGXM9zYJcTNF4venWnj0loNFgjXM4XlNhJbZ53Frnox1h4D
vUXnYmmLxQY/hcG13O+HPNNcnramcsXcY5udvIk+uijLI9JfyeneVbZTmE39Q2r3
9970OcVoosGGaioliOH0aHexOkFrLwMG+AWEz6sKrWimLy/kHCx60499BGykmqTc
bny721lKiGUTg6nuTcMpCK3PXM4wag5glwJwBjPLcm59mNsg65WWoYUC3nl8Wmf7
aKJj+YsKOfi3yCvy22AKqPsDqHdQaU9/F+Fa2n8OaPnb6WcLIFIV4ePnBQgu1Ow=
=BazK
-----END PGP SIGNATURE-----