From 3f55ae7bbc66774e7dd0cf4ba1d982dfee5009c8 Mon Sep 17 00:00:00 2001 From: finga Date: Thu, 4 May 2023 11:43:02 +0200 Subject: [PATCH] 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 --- .zshenv | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.zshenv b/.zshenv index 22b88c6..f121b5d 100644 --- a/.zshenv +++ b/.zshenv @@ -15,7 +15,7 @@ alias chgrp='chgrp --preserve-root' alias pgrep='pgrep -a' alias less='less -r' 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 mkdir='mkdir -p -v' alias ping='ping -c 10'