Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
RE: More intellegent suffix removing?
- X-seq: zsh-workers 6573
- From: Sven Wischnowsky <wischnow@xxxxxxxxxxxxxxxxxxxxxxx>
- To: zsh-workers@xxxxxxxxxxxxxx
- Subject: RE: More intellegent suffix removing?
- Date: Thu, 10 Jun 1999 16:02:02 +0200 (MET DST)
- In-reply-to: "Andrej Borsenkow"'s message of Thu, 10 Jun 1999 17:55:16 +0400
- Mailing-list: contact zsh-workers-help@xxxxxxxxxxxxxx; run by ezmlm
Andrej Borsenkow wrote:
> > The patch would be the thing below (are there any other characters
> > where this would be the right thing?). It looks a bit ugly when this
> > happens after typing a `<' or `>', though.
>
> Hmm ... as I found recently, at least `<' can quite legitimately be part of
> word (<m-n> globbing). What a surprise :-) And is interpreted as such by
> zsh; `cat<' is different from `cat <'
But only if there is also a `>' and the stuff them forms a valid
number range (and, of course, you must have the right options set).
I wasn't very happy with the space-removal on redirection operators
anyway, though. But to make this right, we would need to leave a space
if that was added and to replace a slash (if one was added) with a
space. There is no way to do this easily for now.
Bye
Sven
--
Sven Wischnowsky wischnow@xxxxxxxxxxxxxxxxxxxxxxx
Messages sorted by:
Reverse Date,
Date,
Thread,
Author