diff options
author | Jesse Luehrs <doy@tozt.net> | 2019-10-09 00:48:04 -0400 |
---|---|---|
committer | Jesse Luehrs <doy@tozt.net> | 2019-10-09 00:48:04 -0400 |
commit | 515bb106a23cb8dd8c9089377cd0f51449f163c0 (patch) | |
tree | 5ab1ca2ec1d9da8f150f4d19eb419c8732507b10 | |
parent | 1b35237130e9c3e5d1bd20cb40f6013c74f0b925 (diff) | |
download | conf-515bb106a23cb8dd8c9089377cd0f51449f163c0.tar.gz conf-515bb106a23cb8dd8c9089377cd0f51449f163c0.zip |
only use a pager if it's going to a terminal
-rwxr-xr-x | bin/rg | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -1,3 +1,7 @@ #!/bin/sh -exec /usr/bin/rg --smart-case --no-ignore-messages -p "$@" | less -XFR +if [ -t 1 ]; then + exec /usr/bin/rg --smart-case --no-ignore-messages -p "$@" | less -XFR +else + exec /usr/bin/rg --smart-case --no-ignore-messages "$@" +fi |