22 Nov
2017
22 Nov
'17
3:48 p.m.
For me 8.1 exits right away on Ctrl-C, however the shell prompt appears on the same line as the Hilfe prompt. Perhaps the issue is with the tty handling of the shell you are using? (I'm using tcsh.)