On Tue, April 5, 2005 9:08 am, Nick Rout said:
>
> On Tue, 05 Apr 2005 09:04:32 +1200
> David Kirk wrote:
>
>> Nick,
>>
>> > wget www.example.org/pub/download/file{01,02,03,04,05,06,07,08,09}
>> >
>> > However it can be tedious to type all that. Is there a way of doing it
>> > with a range, like this:
>> >
>> > wget www.example.org/pub/download/file{01-09}
>>
>> How about wget www.example.org/pub/download/file0[1-9]
>
> yes i thought i saw a post (by Volker?) recently using that method, but
> it doesn't seem to work for me.
>
the [0-9] is expanded by the shell before delivery to the program (wget).
However, it isn't a command to add 0...9 to the end of the string, it is a
pattern matching thing. wget will only pattern match remotely (glob) using
ftp, not http, so it won't work.Steve >> >> >> -- >> Later >> >> David Kirk > > -- > Nick Rout > > -- Windows: Where do you want to go today? MacOS: Where do you want to be tomorrow? Linux: Are you coming or what?
