Search Results

That's what grep -i does.


$ cat input.txt
input.txt
-----------
38Nhava
anotherline
Line3

$ grep -i '38NHAVA' input.txt
38Nhava
$ grep -i '38nhava' input.txt
38Nhava