bug-grep
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#28306: grep: option to filter non-printable characters from contents


From: Paul Eggert
Subject: bug#28306: grep: option to filter non-printable characters from contents
Date: Thu, 31 Aug 2017 17:30:26 -0700
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.2.1

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.





reply via email to

[Prev in Thread] Current Thread [Next in Thread]