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

[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 at 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 have read the
> message instead of just pressing y.  But in any case, zsh shouldn't
> expand grem to rm.

While neither the wontfix tag nor the proposed per-user solution
('CORRECT_IGNORE="_*|rm"'), I just wanted to note that there was
recently a similar (yet in one relevant detail different) bug report
at https://bugs.debian.org/844710 which got fixed upstream with
5.2-test-1 and in Debian with the upload of
5.2-test-1-1 to experimental:

    + [b3a88a53]: $SPROMPT: Don't accept a spelling correction at
      space/tab. (Closes: #844710)

The difference was that not only "y" as in your case, but also
pressing space or tab accepted that solution. Which is far worse as
the user might not be aware that this also accepts the correction.

		Regards, Axel
-- 
 ,''`.  |  Axel Beckert <abe at debian.org>, http://people.debian.org/~abe/
: :' :  |  Debian Developer, ftp.ch.debian.org Admin
`. `'   |  4096R: 2517 B724 C5F6 CA99 5329  6E61 2FF9 CD59 6126 16B5
  `-    |  1024D: F067 EA27 26B9 C3FC 1486  202E C09E 1D89 9593 0EDE