diff options
| author | Andrew Gallant <jamslam@gmail.com> | 2016-10-10 20:49:39 -0400 |
|---|---|---|
| committer | Andrew Gallant <jamslam@gmail.com> | 2016-10-10 20:49:39 -0400 |
| commit | 60c016c24353635193e5e3ea1645a3485f59b21f (patch) | |
| tree | 8059cd45e6e6f849d86d0c204a6c3eaa3aedc2b9 | |
| parent | 4665128f25144f2c0e7ccab72af808274be9b54b (diff) | |
Fix docopt usage string. Gah.
| -rw-r--r-- | src/args.rs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/args.rs b/src/args.rs index ba6235f0..40fe97fd 100644 --- a/src/args.rs +++ b/src/args.rs @@ -199,12 +199,12 @@ File type management options: --type-add ARG ... Add a new glob for a particular file type. Only one glob can be - added at a time. Multiple --type-add flags can be provided. Unless - --type-clear is used, globs are added to any existing globs inside of - ripgrep. Note that this must be passed to every invocation of rg. Type - settings are NOT persisted. + added at a time. Multiple --type-add flags can be provided. + Unless --type-clear is used, globs are added to any existing globs + inside of ripgrep. Note that this must be passed to every invocation of + rg. Type settings are NOT persisted. - Example: `--type-add html:*.html` + Example: `rg --type-add 'foo:*.foo' -tfoo PATTERN` --type-clear TYPE ... Clear the file type globs previously defined for TYPE. This only clears |