Re: let's establish BASH_MINIMUM_TIME_BETWEEN_INTERACTIVE_COMMAND

[Dan Jacobson]

Ah ha! Thanks for the private tip 4 minutes ago. This works!:

saftey_seconds=5
PROMPT_COMMAND='if ((SECONDS==0)); then echo TOO FAST HOLMES, waiting '\
$saftey_seconds' seconds or hit ^C; sleep '$saftey_seconds'; else SECONDS=0; fi'

Hope somebody documents it somewhere as otherwise, well, "the shell is
just a gaping mouth..."