alternative to `exit` command: `CTRL-D`

Docker-DCO-1.1-Signed-off-by: Eike Herzbach <eike@herzbach.net> (github: eik3)

All I did was squash the commits

Closes #7783