[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: RFE: zero prefixed expansion, e.g. {01..02} -> 01 02
|
From: |
pk |
|
Subject: |
Re: RFE: zero prefixed expansion, e.g. {01..02} -> 01 02 |
|
Date: |
Sat, 06 Jun 2009 16:16:59 +0200 |
On Friday 5 June 2009 20:28, Till Maas wrote:
> Aloas,
>
> I often need the results of expansion like {01..10} to be prefixed with
> zeros, currently I always need to have two expansions, e.g.
>
> cat foo0{1..9}.bar foo{10..23}.bar
>
> It would be nice if I could use e.g.
>
> cat foo{01..23}.bar
>
> instead to get the same results.
Bash 4 does what you want.