Gavin Smith wrote:
> It's probably better to strip the bytes out anyway, as this avoids any
> problems with some version grep deciding that it is a binary file and
> doing something different with it.

Yes, good point. That would require 'grep -a' with some versions of GNU grep
and/or in some locales.

Bruno




  • CI f... Bruno Haible via Bug reports for the GNU Texinfo documentation system
    • ... Gavin Smith
      • ... Bruno Haible via Bug reports for the GNU Texinfo documentation system
        • ... Gavin Smith
          • ... Bruno Haible via Bug reports for the GNU Texinfo documentation system

Reply via email to