annotate dot_config/ripgrep/ripgreprc @ 653:40d77e69a46e

remove cmp-cmdline-history: too many non-useful hits
author zegervdv <zegervdv@me.com>
date Fri, 23 Sep 2022 06:44:03 +0000
parents f308f66cad13
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
504
1403bfc694e4 Add ripgrep configuration file
zegervdv <zegervdv@me.com>
parents:
diff changeset
1 # Only be case sensitive if a case is present
1403bfc694e4 Add ripgrep configuration file
zegervdv <zegervdv@me.com>
parents:
diff changeset
2 --smart-case
1403bfc694e4 Add ripgrep configuration file
zegervdv <zegervdv@me.com>
parents:
diff changeset
3
1403bfc694e4 Add ripgrep configuration file
zegervdv <zegervdv@me.com>
parents:
diff changeset
4 # Limit output
1403bfc694e4 Add ripgrep configuration file
zegervdv <zegervdv@me.com>
parents:
diff changeset
5 --max-columns=150
1403bfc694e4 Add ripgrep configuration file
zegervdv <zegervdv@me.com>
parents:
diff changeset
6 --max-columns-preview
1403bfc694e4 Add ripgrep configuration file
zegervdv <zegervdv@me.com>
parents:
diff changeset
7
1403bfc694e4 Add ripgrep configuration file
zegervdv <zegervdv@me.com>
parents:
diff changeset
8 --type-add
1403bfc694e4 Add ripgrep configuration file
zegervdv <zegervdv@me.com>
parents:
diff changeset
9 hdl:*.{sv,vhd,v}
1403bfc694e4 Add ripgrep configuration file
zegervdv <zegervdv@me.com>
parents:
diff changeset
10 --type-add
1403bfc694e4 Add ripgrep configuration file
zegervdv <zegervdv@me.com>
parents:
diff changeset
11 rtl:*.rtl.{sv,vhd}