Ctrl+D sometimes doesn't close the local terminal
ekzhang opened this issue · comments
Only for some operating systems?
Reproduced on Linux
Fast, collaborative live terminal sharing over the web
ekzhang opened this issue · comments
Only for some operating systems?
Reproduced on Linux