Differences
This shows you the differences between the selected revisions of the page.
| 2018-06-04 | 2018-06-04 | ||
| no summary (149.111.28.128) (hidden) (untrusted) | Restored revision 1523338012. Undoing revision 1528092013. (martin) (hidden) | ||
| Line 132: | Line 132: | ||
| ===== [[search_text]] Searching for a text/string within a directory ===== | ===== [[search_text]] Searching for a text/string within a directory ===== | ||
| - | grep -H -r ".zip" * | cut -d: -f1 | + | grep -H -r "!?Search for text:?!" * | cut -d: -f1 |
| Check custom command option //Show results in terminal//. | Check custom command option //Show results in terminal//. | ||