From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 21683 invoked from network); 10 Jun 1999 14:02:24 -0000 Received: from sunsite.auc.dk (130.225.51.30) by ns1.primenet.com.au with SMTP; 10 Jun 1999 14:02:24 -0000 Received: (qmail 15966 invoked by alias); 10 Jun 1999 14:02:05 -0000 Mailing-List: contact zsh-workers-help@sunsite.auc.dk; run by ezmlm Precedence: bulk X-No-Archive: yes X-Seq: 6573 Received: (qmail 15953 invoked from network); 10 Jun 1999 14:02:04 -0000 Date: Thu, 10 Jun 1999 16:02:02 +0200 (MET DST) Message-Id: <199906101402.QAA24565@beta.informatik.hu-berlin.de> From: Sven Wischnowsky To: zsh-workers@sunsite.auc.dk In-reply-to: "Andrej Borsenkow"'s message of Thu, 10 Jun 1999 17:55:16 +0400 Subject: RE: More intellegent suffix removing? 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 ( 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@informatik.hu-berlin.de