![]() In other words, if the user presses EOF (normally Ctrl+D), we now print out "<EOF>" and exit the shell without error. Fixes #701. |
||
---|---|---|
.. | ||
GlobalState.h | ||
LineEditor.cpp | ||
LineEditor.h | ||
main.cpp | ||
Makefile | ||
Parser.cpp | ||
Parser.h |
![]() In other words, if the user presses EOF (normally Ctrl+D), we now print out "<EOF>" and exit the shell without error. Fixes #701. |
||
---|---|---|
.. | ||
GlobalState.h | ||
LineEditor.cpp | ||
LineEditor.h | ||
main.cpp | ||
Makefile | ||
Parser.cpp | ||
Parser.h |