summaryrefslogtreecommitdiffstats
path: root/GUIDE.md
diff options
context:
space:
mode:
authorAhmed El Gabri <ahmed+github@gabri.me>2018-05-25 12:42:05 +0200
committerAndrew Gallant <jamslam@gmail.com>2018-05-25 06:42:05 -0400
commitc3f97513d6186ddd2a7a5c5b35fc3286ec80b0de (patch)
treefed2840107b771bfde75253b956e338f2bad1525 /GUIDE.md
parentc21b9b20cf0d4d25bd2765f39a2d19a782c4b254 (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.md7
1 files changed, 7 insertions, 0 deletions
diff --git a/GUIDE.md b/GUIDE.md
index 264d55a0..313c89ad 100644
--- a/GUIDE.md
+++ b/GUIDE.md
@@ -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