14,982
edits
Desktop search: Difference between revisions
Jump to navigation
Jump to search
m
→Search text in single plain text file
| Line 99: | Line 99: | ||
=== Search text in single plain text file === | === Search text in single plain text file === | ||
Search text in a file | Search text in a file | ||
* grep command: | * [https://www.computerhope.com/unix/ugrep.htm Linux grep command]: | ||
** case insensitive<ref>[http://droptips.com/using-grep-and-ignoring-case-case-insensitive-grep Using grep and Ignoring Case (Case Insensitive grep)]</ref>: Using {{kbd | key=<nowiki>grep -i keyword /path/to/file</nowiki>}} ({{Linux}}) or enclose it in double quotes if the keywords contains spaces {{kbd | key=<nowiki>grep -i "keywords contains space" /path/to/file</nowiki>}} | ** case insensitive<ref>[http://droptips.com/using-grep-and-ignoring-case-case-insensitive-grep Using grep and Ignoring Case (Case Insensitive grep)]</ref>: Using {{kbd | key=<nowiki>grep -i keyword /path/to/file</nowiki>}} ({{Linux}}) or enclose it in double quotes if the keywords contains spaces {{kbd | key=<nowiki>grep -i "keywords contains space" /path/to/file</nowiki>}} | ||
** case sensitive: {{kbd | key=<nowiki>grep keyword /path/to/file</nowiki>}} ({{Linux}}) | ** case sensitive: {{kbd | key=<nowiki>grep keyword /path/to/file</nowiki>}} ({{Linux}}) | ||