You could try opening the file in a new tab and then right click it and choose "Download" or "Save as" or whatever it is. If that doesn't work, you can copy the file's URL (file, not level), open the Terminal app and then type
, e.g.
Code: Select all
curl -O http://somehost.org/file.zip
By default, when opening a terminal, you'll be in your home folder, so the file will be downloaded to /Users/<your username>/. If you want to download it to the Downloads folder instead, you can
change
directory to Downloads before you run the curl command by typing