From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from euclid.skiles.gatech.edu (list@euclid.skiles.gatech.edu [130.207.146.50]) by coral.primenet.com.au (8.7.5/8.7.3) with ESMTP id LAA01855 for ; Fri, 2 Aug 1996 11:13:30 +1000 (EST) Received: (from list@localhost) by euclid.skiles.gatech.edu (8.7.3/8.7.3) id VAA17652; Thu, 1 Aug 1996 21:06:18 -0400 (EDT) Resent-Date: Thu, 1 Aug 1996 21:06:18 -0400 (EDT) From: Zefram Message-Id: <19938.199608020105@stone.dcs.warwick.ac.uk> Subject: Re: More Configure problems To: pws@ifh.de (Peter Stephenson) Date: Fri, 2 Aug 1996 02:03:16 +0100 (BST) In-Reply-To: <199608011627.SAA11721@hydra.ifh.de> from "Peter Stephenson" at Aug 1, 96 06:27:40 pm X-Loop: zefram@dcs.warwick.ac.uk X-Stardate: [-31]7900.21 X-US-Congress: Moronic fuckers MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: zefram@dcs.warwick.ac.uk Resent-Message-ID: <"6gxxS2.0.kJ4.AIL0o"@euclid> Resent-From: zsh-workers@math.gatech.edu X-Mailing-List: archive/latest/1885 X-Loop: zsh-workers@math.gatech.edu Precedence: list Resent-Sender: zsh-workers-request@math.gatech.edu >That first interestingly positioned <$mf (sometimes I wonder if people >do this deliberately) is supposed to be a redirection, but zsh is >treating it like $(<...). ksh behaves like sh here, i.e. only $(<...) >has that behaviour. Perhaps we should follow suit. I think we should treat $(< x) and `< x` the same, as a special case of null redirection. If there's a command as well as the redirection, execute the command. zsh already gets it right if there's a space before the <. -zefram