From 306ec0efc0bbf08e8ccde24b15cfc14913f311b2 Mon Sep 17 00:00:00 2001
From: f <f@sutty.nl>
Date: Wed, 9 Nov 2022 20:04:51 -0300
Subject: [PATCH] fix: leer stdin solo si es una terminal real #34

---
 haini.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/haini.sh b/haini.sh
index b51c7f1..c8f8ff5 100755
--- a/haini.sh
+++ b/haini.sh
@@ -269,7 +269,7 @@ else
 
   actualizar
   crear_entorno
-  stdin=/dev/stdin correr "${*:-$DEFAULT}" ; salida=$?
+  stdin="$(test "$TERM" = "dumb" || echo "/dev/stdin")" correr "${*:-$DEFAULT}" ; salida=$?
 
   ${SSH_ADHOC} && ssh-agent -k