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 melb.werple.net.au (8.7.5/8.7.3) with ESMTP id KAA28846 for <mason@werple.mira.net.au>; Tue, 14 May 1996 10:48:34 +1000 (EST)
Received: (from list@localhost) by euclid.skiles.gatech.edu (8.7.3/8.7.3) id UAA03439; Mon, 13 May 1996 20:42:58 -0400 (EDT)
Resent-Date: Mon, 13 May 1996 20:42:58 -0400 (EDT)
Message-Id: <199605140042.RAA05789@tenor.clari.net>
To: Zsh hacking and development <zsh-workers@math.gatech.edu>
Subject: Stripping superfluous spaces in command input
Date: Mon, 13 May 1996 17:42:05 -0700
From: Wayne Davison <wayne@tenor.clarinet.com>
Resent-Message-ID: <"4IyNf.0.cr.HSzbn"@euclid>
Resent-From: zsh-workers@math.gatech.edu
X-Mailing-List: <zsh-workers@math.gatech.edu> archive/latest/1064
X-Loop: zsh-workers@math.gatech.edu
Precedence: list
Resent-Sender: zsh-workers-request@math.gatech.edu

Is anyone planning to add an option that will strip trailing and unquoted
extra spaces from zle input?  If not, I'd appreciate a hint how best to
go about it.  I think I would like to add the stripping to the zleread()
function, but I'm not sure what functions are available to help me find
the next token on the line so that I only eliminate superfluous spaces.

..wayne..