diff options
author | Gerrit Pape <pape@smarden.org> | 2018-09-07 10:34:14 +0200 |
---|---|---|
committer | Herbert Xu <herbert@gondor.apana.org.au> | 2018-11-19 18:59:50 +0800 |
commit | 413c6dcc3ca3891825ae8239251140882d7c6c6c (patch) | |
tree | cf6bb66c05161a2cbad862f8ce2dc223d9cb0c11 /src/bltin | |
parent | eval: Report I/O error on stdout (diff) | |
download | dash-413c6dcc3ca3891825ae8239251140882d7c6c6c.tar.gz dash-413c6dcc3ca3891825ae8239251140882d7c6c6c.zip |
main: Print \n upon EOF (CTRL-D) when run interactively
Exiting dash via a ^D instead of with "exit" causes dash to forget to print a newline. sh-3.1$ sh sh-3.1$ ^D sh-3.1$ dash $ sh-3.1$ It is more neat and tidy to send a newline similarly to what bash does, so it doesn't make the next prompt of the parent shell look ugly. Suggested by jidanni. Signed-off-by: Gerrit Pape <pape@smarden.org> Signed-off-by: Jonathan Nieder <jrnieder@gmail.com> [reworded the patch description] Signed-off-by: Andrej Shadura <andrew.shadura@collabora.co.uk> Bug-Debian: http://bugs.debian.org/476422 Signed-off-by: Herbert Xu <herbert@gondor.apana.org.au>
Diffstat (limited to 'src/bltin')
0 files changed, 0 insertions, 0 deletions