diff options
| author | Ethan Sommer <e5ten.arch@gmail.com> | 2020-01-02 09:28:25 -0500 |
|---|---|---|
| committer | William Hubbs <w.d.hubbs@gmail.com> | 2020-01-11 12:09:10 -0600 |
| commit | a7e7fd2b37a7666f26c2d4de9386b2d04f583b41 (patch) | |
| tree | 0e366fcd77289fe705a55f1dea105fa9b0cab2e8 /user-guide.md | |
| parent | 12e147a107c6e27172734c660624343a3c092437 (diff) | |
make grep usage POSIX compliant
use grep -E instead of egrep
check for space or end of line instead of GNU-specific word boundary
This fixes #345
Diffstat (limited to 'user-guide.md')
0 files changed, 0 insertions, 0 deletions