zshenv: Modify the ripgrep alias to pipe ripgrep into bat

As long as [0] is not resolved use a workaround in form of an alias to
use pipe the ripgrep output into bat.

[0]: https://github.com/BurntSushi/ripgrep/issues/86
This commit is contained in:
finga 2023-05-04 11:43:02 +02:00
parent 7e8e264143
commit 3f55ae7bbc

View file

@ -15,7 +15,7 @@ alias chgrp='chgrp --preserve-root'
alias pgrep='pgrep -a' alias pgrep='pgrep -a'
alias less='less -r' alias less='less -r'
alias grep='grep --color=always -n' alias grep='grep --color=always -n'
alias rg='rg -n' alias rg='rg_bat() {rg -n -p $@ | bat};rg_bat'
alias diff='diff --color=always' alias diff='diff --color=always'
alias mkdir='mkdir -p -v' alias mkdir='mkdir -p -v'
alias ping='ping -c 10' alias ping='ping -c 10'