6139834a4a
Upgrade the `rg` function to only pipe to `PAGER` when output is a terminal.
7 lines
129 B
Plaintext
7 lines
129 B
Plaintext
# pipe rg into less with colors
|
|
if [[ -t 1 && -n $PAGER ]]; then
|
|
@ripgrep@/bin/rg -p $@ | $PAGER
|
|
else
|
|
@ripgrep@/bin/rg $@
|
|
fi
|