unix: Print an extra newline to the output on ctrl-D

This assures the terminal prints it's prompt on a fresh line instead of
appending it to the uPy prompt after exit.

1 files changed, 1 insertions, 0 deletions

diff --git a/unix/input.c b/unix/input.c
index d41487c7ef..9baa342b94 100644
--- a/unix/input.c
+++ b/unix/input.c
@@ -52,6 +52,7 @@ char *prompt(char *p) {
         vstr_clear(&vstr);
         if (ret == CHAR_CTRL_D) {
             // EOF
+            printf("\n");
             return NULL;
         } else {
             printf("\n");