Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

Re: Removing leading paces

X-seq: zsh-users 15009
From: Thorsten Kampe <thorsten@xxxxxxxxxxxxxxxx>
To: zsh-users@xxxxxxx
Subject: Re: Removing leading paces
Date: Wed, 14 Apr 2010 09:03:10 +0200
List-help: <mailto:zsh-users-help@zsh.org>
List-id: Zsh Users List <zsh-users.zsh.org>
List-post: <mailto:zsh-users@zsh.org>
Mailing-list: contact zsh-users-help@xxxxxxx; run by ezmlm
References: <hq2r8a$q7r$1@xxxxxxxxxxxxxxx> <g2k237967ef1004131536zacdd88a3iae757123ad8cda9@xxxxxxxxxxxxxx>

* Mikael Magnusson (Wed, 14 Apr 2010 00:36:03 +0200)
> On 14 April 2010 00:29, Thorsten Kampe <thorsten@xxxxxxxxxxxxxxxx>
> wrote:
> > Quick question: how can I remove leading space from a string (for
> > example: string=" 456")?
> >
> 
> ${string## #} seems to work.

Right (in connection with "extendedglob"). Yesterday night I was trying 
"${string## }", "${string##  *}" and all that but it didn't work. Guess 
it was late :).

Thanks, Thorsten

References:
- Removing leading paces
  - From: Thorsten Kampe
- Re: Removing leading paces
  - From: Mikael Magnusson

Messages sorted by: Reverse Date, Date, Thread, Author