Merge pull request #732 from keune/add-grep-i

grep: add -i option
2024-09-25 10:47:17 +03:00 · 2016-01-28 11:15:30 +08:00 · 2016-01-28 11:15:30 +08:00 · 6919f3e9ee
commit 6919f3e9ee
parent c79272a73c 798ea018a0
1 changed files with 4 additions and 0 deletions
--- 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}} .`