1 |
On Wednesday 17 December 2008, 23:01, Neil Bothwick wrote: |
2 |
|
3 |
> On Wed, 17 Dec 2008 08:48:52 +0000, Mick wrote: |
4 |
> > Hmm, I tried this with a sequence of files that look like |
5 |
> > name0001stat.txt to name0198stat.txt, but when I run {0001..0198} it |
6 |
> > fails because it seems to ignore the zeros in 0001 and start |
7 |
> > counting from 1. Do I need to use some escape character for this? |
8 |
> |
9 |
> No,you just need to use a better shell than bash :P |
10 |
|
11 |
Or just use one of: |
12 |
|
13 |
seq -f '%04g' 1 198 |
14 |
|
15 |
printf '%04d\n' {1..198} |
16 |
|
17 |
name????stat.txt (although this might match more files than wanted) |