Grepping, named after the famous
grep utility, is a slang for “selecting results matching something”
Here’s a quick example of
$ cat sample.txt # 01 02 10 20 $ grep 1 sample.txt # 01 10
A particularly common form is “visual grepping”, which refers to grepping with your naked eyes. This term can be seen in discussions around UI design, especially among developers.