Greg A. Woods writes: > As I asked earlier, if it's merely a minor annoyance for interactive > users, then why not just accept that there's already an easy interactive > way to deal with it?
In the spirit of the discussion, I was just throwing out a possible solution :-) Ultimately, I think this is a non-problem that does not need a solution. Pressing ^C works just fine. It's exactly one additional keystroke. --lyndon
