[Pkg-zsh-devel] Bug#844710: Fwd: Re: Bug#844710: autocorrection suggested rm for typing mr without typing "y"

Peter Stephenson p.w.stephenson at ntlworld.com
Sun Nov 20 19:22:07 UTC 2016


On Sat, 19 Nov 2016 21:54:05 +0000
Daniel Shahaf <d.s at daniel.shahaf.name> wrote:
> If we do keep space and tab then we should document them.  

I'm inclined to get rid of them.  They've been undocumented
and not even mentioned in the prompt for a quarter century.
If this hasn't been causing mayhem that's just luck.  We
are not running a service for people who like guessing
features (though this may come as a surprise).

pws



More information about the Pkg-zsh-devel mailing list