Command: download
Command: downloaddownload <url> {,<file> | <dir> }
Downloads (fetches) a file across the internet. Currently, only the HTTP protocol is supported. This command is also available under the name httpget. It effectively performs an HTTP GET operation.
A successful URL retrieval will set the system numeric found to 1. An error will set it to 0.
Note: If the web-server from which the download is being made has authorization checks involving the completion of a web-page, e.g. a login page, then this will not be processed like a browser. Such cases will have the effect of merely downloading the login page, instead of the requested file.
<url>
The URL (Universal Resource Locator) of the file to be fetched. This can
be a string expression, a string constant within quotes or straight text.
If the text contains characters not usually permitted within file names,
the text should be quoted. The prefix 'http:' may be omitted.
<file>
The name of the local file to be created or overwritten. If the file name contains a directory
path, sub-directories will be created automatically where necessary.
<dir>
A directory into which the file will be copied. The local file name will be the trailing file
name part of <url>.
This directory must already exist. If neither <file> nor
<dir> are specified a local
file is created in the current directory. The local file name will be
the trailing file name part of <url>.
-os=<ident>
Record the http packet header contents in a string identifier. If the identifier does
not exist, a new string array is created using current scope rules. Each
line of the header is recorded in a separate array element.
-tim=<num>
Set a timeout (in seconds) on the operation. The default is 30 seconds.
-z
Decompress the file if it is in gzip format. If <file> is omitted, then the
name of the local file is provided by the gzipped data. If the file is
in gzip format but the -z switch is not present,
no uncompresion is done.
Download a file index.htm into the local directory. Time out after 10 seconds wait.
download //remotenode/index.htm,-tim=10
Download into the local directory and record the http header.
string header[] ;# Not strictly necessary download //remotenode/index.htm, -os=header
Download into a specified directory.
mkdir /tmp/cache download //remotenode/index.htm, /tmp/cache
Download into a specified file, i.e. download and rename.
download //remotenode/yourfile.dat, /tmp/cache/myfile.dat
Download a whole set of image files, and print confirmation.
cd c:/HolidaySnaps
for i=1,50 {
download //snaps.com/holiday/^(i).jpg
tell '^(i).jpg downloaded'
}
Commands: