Question on wget renaming files?

[Jeremy Lavergne]

> 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"