grep_usage
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Last revisionBoth sides next revision | ||
grep_usage [2023/08/11 14:40] – [dummy] raju | grep_usage [2023/08/17 14:37] – [wordscapes] raju | ||
---|---|---|---|
Line 13: | Line 13: | ||
Remove lines with duplicate letters | Remove lines with duplicate letters | ||
< | < | ||
- | % grep -i " | + | % grep -Ei " |
... | ... | ||
shire | shire | ||
Line 22: | Line 22: | ||
compare this with | compare this with | ||
< | < | ||
- | % grep -i " | + | % grep -Ei " |
... | ... | ||
shire | shire | ||
Line 32: | Line 32: | ||
skies | skies | ||
</ | </ | ||
+ | |||
which also shows words where some letters are repeated twice. | which also shows words where some letters are repeated twice. | ||
grep_usage.txt · Last modified: 2023/09/07 21:03 by raju