[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