On 15 January 2018 at 16:56, David Fetter <da...@fetter.org> wrote: > On Mon, Jan 15, 2018 at 04:53:27PM +0000, Geoff Winkless wrote: >> And while trying to find the EOF setting in libreadline might get >> messy, you're already assuming that ctrl-C hasn't been knobbled >> using stty intr. Unless you want to go searching for that too? > > I'm pretty sure changing either or both of those settings would > qualify as pilot error, and pretty abstruse pilot error at that.
Oh I agree. I was merely pointing out that the likelihood of one is no more than the other. In fact, I _have_ worked on systems (in the 90s, admittedly) where intr was mapped to the "Delete" key. I've never (to my knowledge) worked on a system where EOF was mapped to anything other than CTRL-D in a command-line context, although I can see that emacs obsessives might want to have configured their readline that way, which would stomp all over ctrl-D. It also occurs to me that if someone has just typed quit<cr> or exit<cr> space at the start-of-line should not be a problem for Ctrl-D, because the buffer is empty. I still think it (Ctrl-D on *nix, Ctrl-C on windows) is the best of a bad bunch, to be honest. Geoff On 15 January 2018 at 16:56, David Fetter <da...@fetter.org> wrote: > On Mon, Jan 15, 2018 at 04:53:27PM +0000, Geoff Winkless wrote: >> On 15 January 2018 at 16:48, Tom Lane <t...@sss.pgh.pa.us> wrote: >> > Geoff Winkless <pgsqlad...@geoff.dj> writes: >> >> Perhaps different messages on different OSes? :) >> > >> > It's worse than that: the EOF key is configurable. In principle >> > we could look into the tty settings and print the right thing, but >> > I doubt we want to go there, especially if there's no >> > corresponding thing on Windows. >> >> But surely if Windows always exits using Ctrl-C than that's easiest? >> >> And while trying to find the EOF setting in libreadline might get >> messy, you're already assuming that ctrl-C hasn't been knobbled >> using stty intr. Unless you want to go searching for that too? > > I'm pretty sure changing either or both of those settings would > qualify as pilot error, and pretty abstruse pilot error at that. > > Best, > David. > -- > David Fetter <david(at)fetter(dot)org> http://fetter.org/ > Phone: +1 415 235 3778 > > Remember to vote! > Consider donating to Postgres: http://www.postgresql.org/about/donate