wget and php redirects
 

hi, not sure if this is the right board or maybe linux general?

for a question about a linux command.

I was on a linux machine a while back..

wget -i myfile

The file was just a file with this link in it
http://www.htmlgoodies.com/primers/primer_3.html


So wget -i myfile, that should download that file.. I wanted the resultant local saved file to be called primer_3.html but it wasn't, it got called 3478161

I see that link to primer_3.html doesn't exist, saving it manually in the browser gives a page with a 404. But when the browser goes to it, the browser is redirected to
http://www.htmlgoodies.com/primers/h...le.php/3478161
wget is going there.. but the file also gets that number name. So I see why it's happening. But

I have, say, 10 files, I could put in myfile, and do wget -i on them, but i'd want them to retain their lettered names.

TIA

The -O option will let you specify an output file. If you need more specific processing you might look towards curl as it has a bit more extensive features than wget.