diff options
Diffstat (limited to 'local/.bin/rg')
-rwxr-xr-x | local/.bin/rg | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/local/.bin/rg b/local/.bin/rg deleted file mode 100755 index ea88361..0000000 --- a/local/.bin/rg +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/sh - -if [ -t 1 ]; then - exec /usr/bin/rg --smart-case --no-ignore-messages -p "$@" | less -FR -else - exec /usr/bin/rg --smart-case --no-ignore-messages "$@" -fi |