Re: let's establish BASH_MINIMUM_TIME_BETWEEN_INTERACTIVE_COMMAND

[Dan Jacobson]

Thanks fellows but now bash has become very slow to the touch that way.