Atemu, 6 months ago (edited 3 months ago) That’s not at all grep-like. Grep is a line filter, not a character sequence highlighter.
That’s not at all grep-like. Grep is a line filter, not a character sequence highlighter.