On Jan 2, 2006, at 12:32 AM, Michael Hulse wrote:
You could also use cURL:
From the cURL manual (in a terminal window type "man curl", without the
quotes):
...
...
-o/--output <file>
Write output to <file> instead of stdout. If you are
using {} or
[] to fetch multiple documents, you can use '#' followed
by a
number in the <file> specifier. That variable will be
replaced
with the current string for the URL being fetched. Like
in:
curl http://{one,two}.site.com -o "file_#1.txt"
or use several variables like:
curl http://{site,host}.host[1-5].com -o "#1_#2"
You may use this option as many times as you have
number of
URLs.
-O/--remote-name
Write output to a local file named like the remote file
we get.
(Only the file part of the remote file is used, the path
is cut
off.)
You may use this option as many times as you have
number of
URLs.
...
...
--
PHP General Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php
