diff --git a/.bash_extra b/.bash_extra index 6dc7d54..e68849e 100644 --- a/.bash_extra +++ b/.bash_extra @@ -100,7 +100,7 @@ function rgf { rg --ignore-case --files --hidden --glob=!.git/ *"$1"* else 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 } function rgi {