druckdev/dotfiles
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

ripgrep: Add --hidden by default

Browse Source
This commit is contained in:
Julian Prein
2023-06-23 14:08:49 +02:00
parent 2114987106
commit 2411a42e32
3 changed files with 6 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
.config/zsh/.zprofile
View File

@@ -20,6 +20,7 @@ export JUPYTER_CONFIG_DIR="$XDG_CONFIG_HOME"/jupyter
export PYLINTHOME="${XDG_CACHE_HOME}"/pylint
export PYTHONSTARTUP="${XDG_CONFIG_HOME}"/python/pythonrc
export MBSYNCRC="$XDG_CONFIG_HOME"/isync/mbsyncrc
export RIPGREP_CONFIG_PATH="$XDG_CONFIG_HOME"/ripgrep/config
export HISTFILE="$XDG_DATA_HOME"/bash/history
export LESSHISTFILE=/dev/null
@@ -106,7 +107,7 @@ export FZF_DEFAULT_COMMAND_NO_RG
if (( $+commands[rg] )); then
# Prune `.git/` and everything ignored by gitignore(5)
FZF_DEFAULT_COMMAND="rg -L --hidden --files -g '!.git'"
FZF_DEFAULT_COMMAND="rg -L --files -g '!.git'"
else
# Fallback to hardcoding the most important paths to prune
FZF_DEFAULT_COMMAND="$FZF_DEFAULT_COMMAND_NO_RG"