5 ms·
Ping isn't a CLI, its a single command that expects no further input. A database shell is more like bash than ping. And Ctrl-C does not exit out of bash.
by antsar 11y ago
Ping isn't a CLI, its a single command that expects no further input. A database shell is more like bash than ping. And Ctrl-C does not exit out of bash.
- deleted 11y ago[deleted]
- dllthomas 11y agoCtrl-C conventionally does not kill shell-like things. This is, technically, of course because of cooperation of those shell-like things and their handling of SIGINT, but that's not actually relevant. The following things (off the top of my head, and quickly verified) all handle Ctrl-C so that it kills only the current command and not the containing process: bash, zsh, csh, ksh, mail, gnuplot, gdb, psql, vsql, python (interactive), ghci While I object to captive user interfaces in general, if you're going to have one then handling ctrl-c inside it is the right thing to do.
- juliangregorian 11y agoMany language REPLs don't exit on ctrl+c either, at least I know Ruby and Python don't. Node will, but it will make you do it twice.