grep: add -i option

2016-01-28 00:12:10 +02:00 · 2016-01-28 00:12:10 +02:00 · 798ea018a0
parent c79272a73c
commit 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}} .`