Ctrl-D (EOF) no longer closes CLI on linux #1026
Description
Describe the bug
Ctrl-D seemingly does nothing. I would expect it to close CLI. It looks like we are expected to press Ctrl-C twice to close it instead. Not sure about this decision as, generally, command line prompts on linux and beyond do work with Ctrl-D no problem (bash, python REPL, serial ports, ...)
Affected version
0.0.385
Steps to reproduce the behavior
Open and press Ctrl-D. It stays open.
Expected behavior
Ctrl-D closes the program.
Additional context
No response