diff options
| author | Sitaram Chamarty <sitaramc@gmail.com> | 2018-05-24 16:46:01 +0530 |
|---|---|---|
| committer | Jason A. Donenfeld <Jason@zx2c4.com> | 2018-05-24 13:26:23 +0200 |
| commit | dda2ecce34de808d22b4b0f388bd1cb640158a29 (patch) | |
| tree | 8f9245c8ce3143f504b2ad77fa0e05a344595fe4 /src/platform | |
| parent | fab65bda88ea979dbbc49f3d856a1d14ee4f1296 (diff) | |
grep: allow grep options and arguments
Allow grep options and arguments. Typical uses may be, for instance,
wanting to ignore case ('-i'), print a few lines of context around the
matched line, multiple patterns with '-e', etc.
(background: grep is deprecating GREP_OPTIONS, so eventually that will
stop working).
Diffstat (limited to 'src/platform')
0 files changed, 0 insertions, 0 deletions