diff --git a/pages/common/grep.md b/pages/common/grep.md index e3dd5b180f..6360ad7e19 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}} .`