Super User is a question and answer site for computer enthusiasts and power users. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

So after some time of searching on Google and Super User (and scanning man pages) I was unable to find an answer to something that (I think) should be simple:

If you go here:

And try to download the theme:

Like so:


You’ll probably end up with a file called download_script.php?src_id=9750.

But I want it to be called molokai.vim, which is what would happen if I used a browser to download this file.

What options do I need to specify for wget for the desired effect?

I'd also be ok with a Curl equivalent command.

share|improve this question
up vote 75 down vote accepted
-O file

The documents will not be written to the appropriate files, but all will be concatenated together and written to file. If - is used as file, documents will be printed to standard output, disabling link conversion. (Use ./- to print to a file literally named -.)


wget -O somefile.extension

Or you may be able to get wget to work this out using the --content-disposition option if supported by your version.

wget --content-disposition

Caveats as per the man page,


If this is set to on, experimental (not fully-functional) support for "Content-Disposition" headers is enabled. This can currently result in extra round-trips to the server for a "HEAD" request, and is known to suffer from a few bugs, which is why it is not currently enabled by default.

This option is useful for some file-downloading CGI programs that use "Content-Disposition" headers to describe what the name of a downloaded file should be.

You can achieve the same automated behaviour with curl, using,

curl -J -O

-O uses the remote name, and -J forces the -O to get that name from the content-disposition header rather than the URL.

share|improve this answer
I should've specified that this needs to be automatic – audio.zoom Jun 23 '11 at 12:05
As I understand it, wget relies on the web page to correctly inform it if the URL points to a file and it needs to be saved with something different, using the content disposition header, which wget may or may not fully support. So you can't do it automagically with wget. Curl may have more or less success depending on the web page. – EightBitTony Jun 23 '11 at 12:08
the point is to be able to script these things without complicated parsing, curl is fine but so far i haven't been able to collect decent options for that either – audio.zoom Jun 23 '11 at 12:14
Aha - I'm wrong, see updated answer. This is why stackexchange sites work well - everyone learns something, even people answering the questions! – EightBitTony Jun 23 '11 at 12:20
This worked for me for the stackexchange podcast, which had been bugging me for a while. Thanks. – Richard Campbell Oct 5 '11 at 20:41

With wget you can do this:

wget --trust-server-names <url> 

to save the file using the last file name the server gives you.

share|improve this answer
I wonder what the difference is between --trust-server-names and --content-disposition – JamesTheAwesomeDude Jun 10 '15 at 15:43
Looks like --trust-server-names follows redirects to a different file, and --content-disposition names the file with the name specified in the response header without any redirecting required. – Asfand Yar Qazi Jul 6 '15 at 10:26
Why isn't this default functionality?!?! – hopeseekr May 8 at 17:16

Just fyi curl redirects well, so using the following should work, I think, for what you are looking for.

curl -o molokai.vim

share|improve this answer

Worked by following:

curl -o molokai.vim

wget -O somefile.extension

(changed case to smaller i.e. (the wget -O) to (wget -o)

share|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.