remove_lines_with_duplicate_letters
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | |||
remove_lines_with_duplicate_letters [2023/08/27 23:47] – [Issue] raju | remove_lines_with_duplicate_letters [2023/08/27 23:48] (current) – raju | ||
---|---|---|---|
Line 22: | Line 22: | ||
< | < | ||
- | % grep -i " | + | % grep -Ei " |
Sheri | Sheri | ||
Shrek | Shrek |
remove_lines_with_duplicate_letters.1693180041.txt.gz · Last modified: 2023/08/27 23:47 by raju