diff options
| author | Andrew Gallant <jamslam@gmail.com> | 2019-04-04 15:14:29 -0400 |
|---|---|---|
| committer | Andrew Gallant <jamslam@gmail.com> | 2019-04-05 23:24:08 -0400 |
| commit | 9b8f5cbabab547904bdfcb333fca2771d43db561 (patch) | |
| tree | 7591e332750eaa26495d4f015814568cf861b0cf /doc | |
| parent | c52da74ac30aa73a28cf64b9a4d2cdc63c42394a (diff) | |
config: switch to using bstrs
This lets us implement correct Unicode trimming and also simplifies the
parsing logic a bit. This also removes the last platform specific bits of
code in ripgrep core.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/rg.1.txt.tpl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/rg.1.txt.tpl b/doc/rg.1.txt.tpl index a6f72260..1c542b6b 100644 --- a/doc/rg.1.txt.tpl +++ b/doc/rg.1.txt.tpl @@ -107,9 +107,9 @@ ripgrep supports reading configuration files that change ripgrep's default behavior. The format of the configuration file is an "rc" style and is very simple. It is defined by two rules: - 1. Every line is a shell argument, after trimming ASCII whitespace. + 1. Every line is a shell argument, after trimming whitespace. 2. Lines starting with *#* (optionally preceded by any amount of - ASCII whitespace) are ignored. + whitespace) are ignored. ripgrep will look for a single configuration file if and only if the *RIPGREP_CONFIG_PATH* environment variable is set and is non-empty. |