[Pkg-zsh-devel] Bug#578466: Shouldn't correct to "rm" too easily

Frank Terbeck ft at bewatermyfriend.org
Sat Sep 3 15:24:34 UTC 2011


A. N. Other wrote:
> You can use the variable CORRECT_IGNORE to exempt commands from
> correction. E.g.:
>
> CORRECT_IGNORE="_*|rm"

I'm firmly against doing such configuration in the global configuration
file (which is doing too much already - but that's another problem).

It is something the user should decide for her/himself.

Regards, Frank





More information about the Pkg-zsh-devel mailing list