> If I use wget it downloads the file, but calls it "download2.php?fileid=15" > > the url is: > > http://laby.toybox.de/download15/laby_1.0.1.tar.gz
Correct, annoyoing web site design. Wget has to follow the redirect or you'll never get the file. Which name to save it as is arguable, in this case wget takes the wrong decision. You'll probably find situations where you find this decision to be right. Compare curl -O, it saves a file laby_1.0.1.tar.gz, pity it's only 225 bytes of html with the guts being The document has moved <A HREF="http://laby.toybox.de/download2.php?fileid=15";>here</A>.<P> ie, useless. Being able to tell wget whether to save as original or redirected filename, or to read the Content-disposition: filename=laby_1.0.2.tar.gz from the http header, would be handy. Until then use wget -O ;) Volker -- Volker Kuhlmann is possibly list0570 with the domain in header http://volker.dnsalias.net/ Please do not CC list postings to me.
