Bug#747519: bibtool: "Symbol does not start with a letter" random errors with pipe
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Hello Vincent:
thanks for your feedback.
On 12/05/14 14:43, Vincent Lefevre wrote:
> Control: retitle -1 bibtool: silent corruption / "Symbol does not
> start with a letter" random errors with pipe
>
> On 2014-05-10 11:28:37 +0200, Jerome BENOIT wrote:
>> Meanwhile, it appears that putting a sufficiently long
>> `print.line.length' fixes the issue: a length of 255 for the sent
>> material does the trick.
>
> Thanks. It also seems to solve silent corruption I've also noticed
> yesterday, but I think that's directly related.
>
This is the workaround:
the silent corruption is the bug (which appears hard to isolate).
> For instance, here's what I got with bibtool:
>
> ===================================================================
> --- other.bib (revision 99) +++ other.bib (working copy) @@
> -382,8 +382,8 @@ }
>
> @Unpublished{ alias:ensl-00549682, - author = {Alias,
> Christophe and Pasca, Bogdan and Plesco, -
> Alexandru}, + author = {Alias, Christophe and Pasca, Bogdan
> and Plesco, Alexandru} + ^?, title =
> {{Automatic Generation of FPGA-Specific Pipelined Accelerators}},
> keywords = {High-level synthesis ; Polytope model ; Pipelined
>
> where ^? is the DEL character (7F).
How can we easily see that ?
>
> I suspect that the "Symbol does not start with a letter" error
> appears when such a corrupt output is fed to a second bibtool
> invocation with a pipe, as indeed, the DEL character is not a
> letter.
>
It is an output issue, not a pipe one:
if the '-o' option is used in the script along with temporary files,
the issue remains.
Best wishes,
Jerome
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQEcBAEBAgAGBQJTcMR2AAoJEIC/w4IMSybjAekH/juBVBc3912R9Zu37hBw+e94
Tltpf/8eWq9DsM74Mfr+JIRGCZkeDLH68x1dAlAeXBlmyLZNBq8YfkfS4XPB7ZTN
51HsqWMjimGi2ygraGVxywrf8ZiKD1t7/NpeZnIsNObcU2zy3Vy/giIvOklFXQux
UtVTLZVAjU+CxPk5evXQknoV38pL7sJQSkLOrNnNDSTgcn7BZbnDT3RdYJ+OEb9m
3QS87DE9LwxJHrE2mTUbVqnQq0qTHk8/M9gEMNzR1dAmMbIQDFy+Zr6UnZkqrsWy
jjL4uOZ/BwAgpv+ZchrBvWywoOpkxkfqIYyw4XaPIU+XaGzm11VeNoutXYykhQw=
=9VDO
-----END PGP SIGNATURE-----
Reply to: