From 306ec0efc0bbf08e8ccde24b15cfc14913f311b2 Mon Sep 17 00:00:00 2001 From: f Date: Wed, 9 Nov 2022 20:04:51 -0300 Subject: [PATCH 1/2] 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 From 5729880a3766c7816fe1984b2193390f2f7da97b Mon Sep 17 00:00:00 2001 From: f Date: Thu, 10 Nov 2022 13:32:30 -0300 Subject: [PATCH 2/2] fix: no actualizar en cronjobs --- haini.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/haini.sh b/haini.sh index c8f8ff5..2093c7a 100755 --- a/haini.sh +++ b/haini.sh @@ -217,6 +217,8 @@ crear_entorno() { # Auto-actualizar una vez por hora actualizar() { + test ! "$TERM" = "dumb" || return + last_update="$(find "$DIR/.git/FETCH_HEAD" -mmin +60 | wc -l)" if test ! $last_update -ne 0; then