Using 'wget' to download the configurations

An easy way to get the configurations from the web-archive to your local disk is via the Unix-command 'wget', which should be installed on most systems. For instructions on how to use this command, see your local man-page.

To access password protected configurations, you will either have to enter your username and password to $HOME/.wgetrc


file: $HOME/.wgetrc

http-user = your_username
http-passwd = your_password


or provide them as command-line options:

wget --http-user=your_username --http-passwd=your_password

In case of publicly available configurations you can just leave these entries blank or skip the command-line options.

Another useful option might be: '--no-check-certificate', if wget complains about certificate-ownership.

Multiple configuration download

A script for downloading multiple configurations from one directory can be obtained here. After customizing (see below) use it as follows:


getConfigs DIR [ {number} || { start stop [skip] } ]


"DIR" is the path to the configurations (including 'http(s)://'), if nothing else is specified, all the configurations found there will be copied to your local directory. You can also specify a single configuration (via its "number") or a range ([ "start" : "stop"]) . In the latter the default increase is 1, but can be chosen arbitrarily ("skip").

To customize this script to your system, you should make sure that the right path to the bash-shell is given in the first line, and standard-utils like 'awk', 'sed', 'grep', and, of course, 'wget' are available. To pass your username/password to 'wget' (only needed if you want to access those configurations, which are password protected) you may again either create a .wgetrc file in your $HOME directory (see above) or uncomment and modify the related line in the script:


#WGET_COMMAND="$WGET_COMMAND --http-user your_username --http-passwd your_password"


comments