Download

To download is to copy a file from a web server to your local computer. Reliable downloading takes skill in the face of occasional technical challenges.

Back on the page that referred you here, you should have a download link that you are interested in. The following instructions relate to that page. Place the pages side by side.

How to Download

Using Firefox

• right-click on the link, and a menu will appear,
• click on Save Link As..., and a dialog window will appear asking you where to put the file,
• tell it where you want the file put, and then a Downloads window will appear,
• wait for the download to complete,
• close the Downloads window,

The file will be in your Downloads directory.

Using Safari

• control-click on the link, select Download Linked File As ..., and a Save As dialog will appear,
• click on Save, the dialog will go away,
• a Downloads window will appear,
• wait for the download to complete.

The file will be in your Downloads directory.

Using Internet Explorer

• right-click on the link, select Download.

(to be completed by someone who knows how it works)

Using curl

curl is a download program that is very simple, very reliable, and can restart a partial download.

curl is available on Mac OS X by default, and can be installed on Linux or Microsoft Windows.

• right-click on the link in your web browser, and select Copy Link Location,
• start a Terminal, and then type

cd Downloads

• then type

curl -OC -

• press the space bar once more, to add a gap after the dash,
• paste the link, so that the command looks like this:

curl -OC - http://something/

• press enter, and the download will begin,
• wait for the download to complete,
• close the terminal.

To interrupt a download and resume it later, press Control/C. When you wish to resume, press up arrow once to recall the command, and then press enter to start it again. The download will resume from where you interrupted it.

Using wget

Start a Terminal, then type

wget --continue ${URL}

Where ${URL} is the link.

Verifying

For some downloads, the directory also contains an md5 file that can be used to check that your copy of the file is intact.

Problems

Displayed instead of Downloaded

If you use the normal click, some web servers cause your web browser to display the file instead of download it.

You must bypass this using one of the methods above.

Interrupted

A faulty or irregular internet service may cause a download to be interrupted.

You should either try the download again, or try to resume it using one of the methods above, such as wget or curl.