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 /GUIDE.md | |
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 'GUIDE.md')
-rw-r--r-- | GUIDE.md | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -525,9 +525,9 @@ config file. Once the environment variable is set, open the file and just type in the flags you want set automatically. There are only two rules for describing the format of the config file: -1. Every line is a shell argument, after trimming ASCII whitespace. -2. Lines starting with `#` (optionally preceded by any amount of - ASCII whitespace) are ignored. +1. Every line is a shell argument, after trimming whitespace. +2. Lines starting with `#` (optionally preceded by any amount of whitespace) +are ignored. In particular, there is no escaping. Each line is given to ripgrep as a single command line argument verbatim. |