files
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| files [2024/01/06 07:11] – jhagstrand | files [2026/06/15 22:43] (current) – jhagstrand | ||
|---|---|---|---|
| Line 55: | Line 55: | ||
| grep | grep | ||
| $ grep -r " | $ grep -r " | ||
| + | $ grep -rni --include=*.{html, | ||
| rename | rename | ||
files.txt · Last modified: 2026/06/15 22:43 by jhagstrand