From 798ea018a09a1847cb84d540d381641873f87ac1 Mon Sep 17 00:00:00 2001 From: Ahmet Kun Date: Thu, 28 Jan 2016 00:12:10 +0200 Subject: [PATCH] grep: add -i option --- pages/common/grep.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pages/common/grep.md b/pages/common/grep.md index e3dd5b180..6360ad7e1 100644 --- a/pages/common/grep.md +++ b/pages/common/grep.md @@ -7,6 +7,10 @@ `grep {{something}} {{file_path}}` +- Search without case-sensitivity: + +`grep -i {{something}} {{file_path}}` + - Search recursively in current directory for an exact string: `grep -r {{something}} .`