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/funcs/pushd | |
| 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 '')
0 files changed, 0 insertions, 0 deletions