Santiago R.R. wrote:
What's your position on this?
Sounds like a reasonable option, though I think I might make it another form of coloring rather than a separate option.
- Bug#498336: grep: option to filter non-printable characters ... Santiago R.R.
- Bug#498336: bug#28306: grep: option to filter non-print... Paul Eggert
