ark/profiles/develop/zsh/functions/rg
Timothy DeHerrera 5fb8b0b1fa
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

7 lines
130 B
Plaintext

# pipe rg into PAGER with colors
if [[ -t 1 && -n $PAGER ]]; then
@ripgrep@/bin/rg -p $@ | $PAGER
else
@ripgrep@/bin/rg $@
fi