You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, ripgrep respects $HOME/.gitconfig and $XDG_CONFIG_HOME/git/config, but not .git/config (the "local" or "project" config). Git makes it such that .git/config overrides the other two options, while still respecting the ./.gitignore. This commit brings this functionality to ripgrep (while also cleaning a few repetitive segments of code).
The text was updated successfully, but these errors were encountered:
Copied from: #2396
Currently, ripgrep respects
$HOME/.gitconfig
and$XDG_CONFIG_HOME/git/config
, but not.git/config
(the "local" or "project" config). Git makes it such that.git/config
overrides the other two options, while still respecting the./.gitignore
. This commit brings this functionality to ripgrep (while also cleaning a few repetitive segments of code).The text was updated successfully, but these errors were encountered: