mg/dotfiles
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Typo

Browse source
This commit is contained in:
Michael Grote 2023-02-13 09:54:31 +01:00
parent 0b61c98659
commit a8ad7f282b
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.bash_extra
View file

@ -100,7 +100,7 @@ function rgf {
rg --ignore-case --files --hidden --glob=!.git/ *"$1"* rg --ignore-case --files --hidden --glob=!.git/ *"$1"*
else else
echo "[INFO] ripgrep ist nicht installiert... suche mit 'find'" echo "[INFO] ripgrep ist nicht installiert... suche mit 'find'"
find . -type f -not -path '*/\.git/*'; -name *"$1"* find . -type f -not -path '*/\.git/*' -name *"$1"*
fi fi
} }
function rgi { function rgi {