Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: Bug#844710: Fwd: Re: [Pkg-zsh-devel] Bug#844710: autocorrection suggested rm for typing mr without typing "y"
- X-seq: zsh-workers 39994
- From: Peter Stephenson <p.w.stephenson@xxxxxxxxxxxx>
- To: zsh-workers@xxxxxxx
- Subject: Re: Bug#844710: Fwd: Re: [Pkg-zsh-devel] Bug#844710: autocorrection suggested rm for typing mr without typing "y"
- Date: Sun, 20 Nov 2016 19:22:07 +0000
- Cc: 844710@xxxxxxxxxxxxxxx
- In-reply-to: <20161119215405.GA24755@fujitsu.shahaf.local2>
- List-help: <mailto:zsh-workers-help@zsh.org>
- List-id: Zsh Workers List <zsh-workers.zsh.org>
- List-post: <mailto:zsh-workers@zsh.org>
- Mailing-list: contact zsh-workers-help@xxxxxxx; run by ezmlm
- References: <3574167.p9ErITdPmY@merkaba> <20161119075542.GA6750@fujitsu.shahaf.local2> <161119100023.ZM13994@torch.brasslantern.com> <20161119215405.GA24755@fujitsu.shahaf.local2>
On Sat, 19 Nov 2016 21:54:05 +0000
Daniel Shahaf <d.s@xxxxxxxxxxxxxxxxxx> 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
Messages sorted by:
Reverse Date,
Date,
Thread,
Author