From a8ad7f282b8a48aae9b3fe1a2caf5fde07167f33 Mon Sep 17 00:00:00 2001 From: mg Date: Mon, 13 Feb 2023 09:54:31 +0100 Subject: [PATCH] Typo --- .bash_extra | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 {