From 2339f34398738b0343c7cd552669362689f9ed25 Mon Sep 17 00:00:00 2001
From: Oleg Broytman <phd@phdru.name>
Date: Sat, 30 May 2020 02:42:35 +0300
Subject: [PATCH] webstdin: Redirect stdin from `/dev/tty`

The script is usually run with stdin redirected from a file or a pipe.
It's necessary to re-redirect stdin so that a console browser
reads from the terminal.
---
 bin/webstdin | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/webstdin b/bin/webstdin
index 395456c..209cecf 100755
--- a/bin/webstdin
+++ b/bin/webstdin
@@ -13,4 +13,4 @@ done
 shift `expr $OPTIND - 1`
 
 tmpfile="`mktemp -t XXXXXX.$ext`" && cat - >"$tmpfile" &&
-webbrowser $new_win file://"$tmpfile" && (sleep 10 && exec rm "$tmpfile" &)
+webbrowser $new_win file://"$tmpfile" </dev/tty && (sleep 10 && exec rm "$tmpfile" &)
-- 
2.39.2