You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.
The text was updated successfully, but these errors were encountered: