commit 7a76ca85482ab03e54a71511be6dad77fbe6e0db parent f343f315b5cb1a24feec2797b80ed21889f49154 Author: Arun Prakash Jana <engineerarun@gmail.com> Date: Fri, 14 May 2021 18:45:09 +0530 Remove unnecessary redirection Diffstat:
| M | plugins/autojump | | | 3 | ++- |
| M | plugins/bookmarks | | | 3 | ++- |
2 files changed, 4 insertions(+), 2 deletions(-)
diff --git a/plugins/autojump b/plugins/autojump @@ -12,7 +12,8 @@ # Authors: Marty Buchaus, Dave Snider, Tim Adler if [ ! -p "$NNN_PIPE" ]; then - echo 'ERROR: NNN_PIPE is not set' | ${PAGER:-less} + printf 'ERROR: NNN_PIPE is not set!' + read -r _ exit 2 fi diff --git a/plugins/bookmarks b/plugins/bookmarks @@ -31,7 +31,8 @@ fi # Check if NNN_PIPE is set if [ -z "$NNN_PIPE" ]; then - echo 'ERROR: NNN_PIPE is not set' | ${PAGER:-less} + printf 'ERROR: NNN_PIPE is not set!' + read -r _ exit 2 fi