<!ELEMENT download (file, url*, destination, digest?)> |
This element occurs in the elements : Element : <alfs> | Element: <stage>
See also : Element: <file> | Element: <url> | Element: <destination> | Element: <digest>
The element download is one of the many main operation elements. It is used to specify one or several URLs from which a file can be downloaded, and optionally a digest to check that the file being downloaded if the right one.
The sub-element file contains the name of the file to be downloaded.
The sub-element url contains the url of the directory from which the download is performed. It should be terminated by a slash [ / ]. More precisely, the actual URL used for the download is the catenation of the content of the url element with the content of the file element. This element is optional, but if used can be used more than once.
The sub-element destination contains the path of the directory into which the download should be performed.
The sub-element digest contains the value with which the digest computed from the dowloaded file will be compared. This sub-element is optional. For more information see : Element: <digest>
If the file is already present in the destination directory, no download is performed but the digest is checked if present.
<download> <file>kbd-1.08.tar.gz</file> <url>ftp://ftp.win.tue.nl/pub/linux-local/utils/kbd/</url> <destination>/tmp/</destination> <digest>924e6a05e52715dc0f96385b35f2f680</digest> </download> |
There is no equivalent Bash script example for this element.