Question on wget renaming files?
jeremy at lavergne.gotdns.org
Sat Mar 2 20:37:18 PST 2013
> 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"
More information about the macports-users