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