ark/profiles/develop/zsh/functions/rg

# pipe rg into PAGER with colors
if [[ -t 1 && -n $PAGER ]]; then
  @ripgrep@/bin/rg -p $@ | $PAGER
else
  @ripgrep@/bin/rg $@
fi
develop#zsh: send configuration.nix configurations COPYING flake.lock flake.nix lib local pkgs profiles README.md secrets users output to PAGER 2019-12-18 00:00:44 -07:00			`# pipe rg into PAGER with colors`
develop#zsh: factor out functions into files Upgrade the `rg` function to only pipe to `PAGER` when output is a terminal. 2019-12-15 20:54:11 -07:00			`if [[ -t 1 && -n $PAGER ]]; then`
			`@ripgrep@/bin/rg -p $@ \| $PAGER`
			`else`
			`@ripgrep@/bin/rg $@`
			`fi`