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

Martin Michlmayr tbm at cyrius.com
Mon Dec 12 22:21:34 UTC 2016


* Axel Beckert <abe at debian.org> [2016-12-11 21:22]:
> While neither the wontfix tag nor the proposed per-user solution
> ('CORRECT_IGNORE="_*|rm"'), I just wanted to note that there was

Thanks for your update.  I actually never saw the email about
CORRECT_IGNORE because it wasn't sent to me (only to the bug).

The CORRECT_IGNORE solution works for me.

BTW, I see this bug is tagged as wontfix.  If the maintainers want to
close the bug report, that's fine with me.

-- 
Martin Michlmayr
http://www.cyrius.com/



More information about the Pkg-zsh-devel mailing list