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.

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.