Skip to content

Commit

Permalink
Merge pull request #76 from hankluo6/fix_source
Browse files Browse the repository at this point in the history
Fix source command
  • Loading branch information
eecheng87 committed Feb 25, 2022
2 parents 7611914 + 018ce2e commit e124032
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions console.c
Original file line number Diff line number Diff line change
Expand Up @@ -650,6 +650,9 @@ bool run_console(char *infile_name)
linenoiseHistoryAdd(cmdline); /* Add to the history. */
linenoiseHistorySave(HISTORY_FILE); /* Save the history on disk. */
linenoiseFree(cmdline);
while (buf_stack->fd != STDIN_FILENO)
cmd_select(0, NULL, NULL, NULL, NULL);
has_infile = false;
}
} else {
while (!cmd_done())
Expand Down

0 comments on commit e124032

Please sign in to comment.