Bug#578466: Shouldn't correct to "rm" too easily

2016-12-12 Thread Martin Michlmayr
* Axel Beckert [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). Th

Bug#578466: Shouldn't correct to "rm" too easily

2016-12-11 Thread Axel Beckert
Hi Martin, Martin Michlmayr wrote: > Package: zsh > Version: 4.3.10-11 > > I tried to grep some files and ended up removing them: > > | 65580:tbm@loric-alpo: ~/info] grem foo * > | zsh: correct 'grem' to 'rm' [nyae]? y > | zsh: sure you want to delete all the files in /home/tbm/info [yn]? y > >

Bug#578466: Shouldn't correct to "rm" too easily

2011-09-03 Thread Frank Terbeck
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

Bug#578466: Shouldn't correct to "rm" too easily

2011-08-27 Thread A. N. Other
You can use the variable CORRECT_IGNORE to exempt commands from correction. E.g.: CORRECT_IGNORE="_*|rm" AFAICT correction takes account of keyboard layout, which would explain why "grem" was corrected to "rm" (e,r and g are close together on qwerty keyboards, m and p are further apart). -- T

Bug#578466: Shouldn't correct to "rm" too easily

2010-04-19 Thread Martin Michlmayr
* Clint Adams [2010-04-20 02:24]: > > If I hadn't been in such a hurry, I would actually have read the > > message instead of just pressing y. But in any case, zsh shouldn't > > expand grem to rm. > > Probably to fix this is quite difficult, but I'm surprised there were > no closer matches. Yea

Bug#578466: Shouldn't correct to "rm" too easily

2010-04-19 Thread Clint Adams
On Mon, Apr 19, 2010 at 06:59:48PM -0700, Martin Michlmayr wrote: > I tried to grep some files and ended up removing them: > > | 65580:t...@loric-alpo: ~/info] grem foo * > | zsh: correct 'grem' to 'rm' [nyae]? y > | zsh: sure you want to delete all the files in /home/tbm/info [yn]? y > > If I ha

Bug#578466: Shouldn't correct to "rm" too easily

2010-04-19 Thread Martin Michlmayr
Package: zsh Version: 4.3.10-11 I tried to grep some files and ended up removing them: | 65580:t...@loric-alpo: ~/info] grem foo * | zsh: correct 'grem' to 'rm' [nyae]? y | zsh: sure you want to delete all the files in /home/tbm/info [yn]? y If I hadn't been in such a hurry, I would actually hav