diff options
Diffstat (limited to 'lib/readline/rltty.c')
-rw-r--r-- | lib/readline/rltty.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/lib/readline/rltty.c b/lib/readline/rltty.c index 6d907192..2ee36a7c 100644 --- a/lib/readline/rltty.c +++ b/lib/readline/rltty.c @@ -691,7 +691,11 @@ rl_deprep_terminal (void) tty = rl_instream ? fileno (rl_instream) : fileno (stdin); if (terminal_prepped & TPX_BRACKPASTE) - fprintf (rl_outstream, BRACK_PASTE_FINI); + { + fprintf (rl_outstream, BRACK_PASTE_FINI); + if (_rl_eof_found) + fprintf (rl_outstream, "\n"); + } if (_rl_enable_keypad) _rl_control_keypad (0); |