4 ms·
Dumb question, how do you exit the shell? I feel like I've scoured the docs and can't find it.
by torartc 5y ago
Dumb question, how do you exit the shell? I feel like I've scoured the docs and can't find it.
- colinmcd 5y ago\q or \quit If you get stuck, run \help for a list of commands.
- msully4321 5y agoWhat colin said, or (in every terminal emulator I've used), ctrl-d to send end of file, which will close it.
- sizediterable 5y agoCongrats Sully and thanks for your work on mypy!
- torartc 5y agoThat's interesting, I've always though ctrl-c would close things. I tried so many things like "quit" "exit" ctrl-c "help"
- emj 5y agoCtrl-c cancels running processes, but not shells. When a process becomes a shell I can not say, but if make an infinite loop in the Python repl you can Ctrl-C that loop. $ python >>> while True: ... pass ... ^CTraceback (most recent call last): File "<stdin>", line 1, in <module> KeyboardInterrupt