On 5 juin, 20:29, Chet Ramey wrote:
> Francis Moreau wrote:
> > Hello,
>
> > My version of bash is "GNU bash, version 3.2.33(1)-release (x86_64-
> > redhat-linux-gnu)" running on a fedora 9.
>
> > Here's is a small script to show the bug:
>
> > #!/bin/bash
>
> > #shopt -s nullglob
>
> > foo[0]=0
>
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.
Regards
Till
signature.a
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}.b