terminal:scripting:grep
Differences
This shows you the differences between two versions of the page.
| terminal:scripting:grep [2026/10/23 16:00] – created - external edit 127.0.0.1 | terminal:scripting:grep [2026/10/24 10:26] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 11: | Line 11: | ||
| </ | </ | ||
| - | See [[terminal: | + | See [[terminal: |
| ===== Search control ===== | ===== Search control ===== | ||
terminal/scripting/grep.1792792853.txt.gz · Last modified: by 127.0.0.1
