Bug#747519: bibtool: "Symbol does not start with a letter" random errors with pipe
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).
--
Vincent Lefèvre <vincent@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
Reply to: