mirror of
https://gitea.blesmrt.net/mikaela/shell-things.git
synced 2025-10-05 04:57:21 +02:00
{bash,zsh}rc: switch batgrep alias to bgrep from grep
This commit is contained in:
parent
ed3e7f8592
commit
299332d2ce
@ -704,7 +704,7 @@ if ! hash btraceback 2> /dev/null; then
|
||||
fi
|
||||
if hash rg 2> /dev/null; then
|
||||
if hash batgrep 2> /dev/null; then
|
||||
alias grep=batgrep
|
||||
alias bgrep=batgrep
|
||||
fi
|
||||
fi
|
||||
if hash batman 2> /dev/null; then
|
||||
|
Loading…
x
Reference in New Issue
Block a user