diff options
author | Ahmed El Gabri <ahmed+github@gabri.me> | 2018-05-25 12:42:05 +0200 |
---|---|---|
committer | Andrew Gallant <jamslam@gmail.com> | 2018-05-25 06:42:05 -0400 |
commit | c3f97513d6186ddd2a7a5c5b35fc3286ec80b0de (patch) | |
tree | fed2840107b771bfde75253b956e338f2bad1525 /GUIDE.md | |
parent | c21b9b20cf0d4d25bd2765f39a2d19a782c4b254 (diff) |
doc: sync config file examples
This brings the examples for configuration files in sync between
the man page and the guide.
Diffstat (limited to 'GUIDE.md')
-rw-r--r-- | GUIDE.md | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -539,6 +539,13 @@ $ cat $HOME/.ripgreprc --type-add web:*.{html,css,js}* +# Using glob patterns to include/exclude files or folders +--glob=!git/* + +# or +--glob +!git/* + # Set the colors. --colors=line:none --colors=line:style:bold |