diff options
| author | Daniel <kingdread@gmx.de> | 2020-04-25 12:49:27 +0200 |
|---|---|---|
| committer | Daniel <kingdread@gmx.de> | 2020-04-25 12:49:27 +0200 |
| commit | 675d0aadf1495a7ac752789c125e124db5152b43 (patch) | |
| tree | 76913372f4753863ea3e95945a7833ec7a5ff541 /src/filters/log.rs | |
| parent | fe88f503676091c53d31db99ca4af36fe08dcdc8 (diff) | |
| download | raidgrep-675d0aadf1495a7ac752789c125e124db5152b43.tar.gz raidgrep-675d0aadf1495a7ac752789c125e124db5152b43.tar.bz2 raidgrep-675d0aadf1495a7ac752789c125e124db5152b43.zip | |
better CLI args/parser integration
First, this commit adds a shortcut if only a single argument is given
that can be parsed as a regex. This is to retain the old behaviour of
"raidgrep NAME" just working, without needing to specify -player or
anything.
Secondly, this also re-wraps arguments with spaces (unless there's only
one argument in total). This means that the following should work:
raidgrep -- -player "Godric Gobbledygook"
instead of either
raidgrep -- '-player "Godric Gobbledygook"'
raidgrep -- -player '"Godric Gobbledygook"'
(notice the extra quotes).
Diffstat (limited to 'src/filters/log.rs')
0 files changed, 0 insertions, 0 deletions