Question on wget renaming files?

[Michael]

>> What do I say to get wget to do what I want -- save the file in the
>> final name (in this case, CodeChickenCore%200.7.3.jar or
>> "CodeChickenCore 0.7.3.jar"
> 
> `man wget` shows the -O FILE option to put the download into FILE. So you likely want this:
> wget -O "CodeChickenCore 0.7.3.jar" "http://www.chickenbones.craftsaddle.org/Files/goto.php?file=CodeChickenCore&a=1"

But the issue is that prior to running this, I have no idea what the redirect will be. And, I have 4 different things to download like this.

I want wget -- since it is already following redirects -- to update the name it will use. And that I have no idea how to do.

---
This is coming from Mail.app. I hate the new Gmail web look, and dislike Mail only slightly less.