From 464eee3ed83decf7f4f2af175b514446cb523da7 Mon Sep 17 00:00:00 2001
From: Giacomo Tesio <giacomo@tesio.it>
Date: Sat, 16 Dec 2017 12:34:49 +0100
Subject: [PATCH] rc: use /dev/tty as a tty (not only /dev/cons)

---
 sys/src/cmd/rc/jehanne.c | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/sys/src/cmd/rc/jehanne.c b/sys/src/cmd/rc/jehanne.c
index 982d6d9..e5a247f 100644
--- a/sys/src/cmd/rc/jehanne.c
+++ b/sys/src/cmd/rc/jehanne.c
@@ -555,6 +555,7 @@ int
 Isatty(int fd)
 {
 	char buf[64];
+	int l;
 
 	if(fd2path(fd, buf, sizeof buf) != 0)
 		return 0;
@@ -563,8 +564,12 @@ Isatty(int fd)
 	if(strcmp(buf, "#c/cons") == 0)
 		return 1;
 
-	/* might be /mnt/term/dev/cons */
-	return strlen(buf) >= 9 && strcmp(buf+strlen(buf)-9, "/dev/cons") == 0;
+	/* might be /mnt/term/dev/cons or a virtual tty */
+	l = strlen(buf);
+	if((l >= 9 && strcmp(buf+l-9, "/dev/cons") == 0)
+	 ||(l >= 8 && strcmp(buf+l-8, "/dev/tty") == 0))
+		return 1;
+	return 0;
 }
 
 void