Jochen Roderburg schrieb:

> Most certainly you would also want the --remote-name option which
> assures that the local files get the same names as the remote ones:
>
> echo --url http://www.somewebsite.com | curl --remote-name --config -
>

Just saw that this works only with "one" URL ;-)
The --remote-name has to be repeated for every URL, so it must also be
in the piped input.

So I think, it works best when the piped input lines look like:

--remote-name
--url an URL
--remote-name
--url another URL
....

Best regards,

Jochen Roderburg
ZAIK/RRZK
University of Cologne
Robert-Koch-Str. 10 Tel.: +49-221/478-7024
D-50931 Koeln E-Mail: Roderburg_at_rrz.Uni-Koeln.DE
Germany
Received on 2006-07-14