* Axel Beckert <a...@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/