From 7a76ca85482ab03e54a71511be6dad77fbe6e0db Mon Sep 17 00:00:00 2001
From: Arun Prakash Jana <engineerarun@gmail.com>
Date: Fri, 14 May 2021 18:45:09 +0530
Subject: [PATCH] Remove unnecessary redirection
---
plugins/autojump | 3 ++-
plugins/bookmarks | 3 ++-
2 files changed, 4 insertions(+), 2 deletions(-)
diff --git a/plugins/autojump b/plugins/autojump
index 0b842532..dc840628 100755
--- 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
index dbb8dbe0..1bb3503d 100755
--- 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
--
2.51.0