diff options
| author | dzwdz | 2023-09-30 00:43:02 +0200 |
|---|---|---|
| committer | dzwdz | 2023-09-30 00:43:02 +0200 |
| commit | 64d4330810a37dd9c41a82ae6cc420850ca1e7da (patch) | |
| tree | f44cfcbb9ad364ceb144dc927ae9350e4cab5cd8 /src/cmd/shell | |
| parent | eccd9d6d23f15a37ad118897d167dd18973242a1 (diff) | |
user: rework terminal handling
Diffstat (limited to 'src/cmd/shell')
| -rw-r--r-- | src/cmd/shell/shell.c | 1 |
1 files changed, 1 insertions, 0 deletions
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"); |