Pressing Ctrl-D to terminate a command terminates the whole session

[jaksi]

E.g. running cat and trying to terminate it by pressing Ctrl-D terminates the whole session.

Seems like the terminal we're using handles Ctrl-D (ASCII EOT) in a way that prevents further input processing. We might have to use another terminal implementation or roll our own.