From 64d4330810a37dd9c41a82ae6cc420850ca1e7da Mon Sep 17 00:00:00 2001 From: dzwdz Date: Sat, 30 Sep 2023 00:43:02 +0200 Subject: user: rework terminal handling --- src/cmd/shell/shell.c | 1 + 1 file changed, 1 insertion(+) (limited to 'src/cmd/shell') diff --git a/src/cmd/shell/shell.c b/src/cmd/shell/shell.c index b5ad907..724c018 100644 --- a/src/cmd/shell/shell.c +++ b/src/cmd/shell/shell.c @@ -141,6 +141,7 @@ static void run(char *cmd) { int main(int argc, char **argv) { static char buf[256]; FILE *f = stdin; + intr_set(NULL); if (argc > 1) { f = fopen(argv[1], "r"); -- cgit v1.2.3