Re: let's establish BASH_MINIMUM_TIME_BETWEEN_INTERACTIVE_COMMAND

[Dan Jacobson]

Can you somehow give the user his prompt first and then wait, instead of
the other way around? Also rapid ^P RET ^P RET should somehow be exempt.