annotate dot_config/ripgrep/ripgreprc @ 587:77280c499124

usd zsh-histdb-skim for more stable results
author zegervdv <zegervdv@me.com>
date Thu, 14 Apr 2022 22:14:57 +0200
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}