Descargar un archivo con otro nombre

[Diegho]

Muchisimas gracias a todos...

con la data que me dieron usé hice el siguiente script:

<?
$filename="files/file0001.bin";

header("Pragma: public");
header("Expires: 0");
header("Cache-Control: must-revalidate, post-check=0, pre-check=0");

header("content-type: application/force-download");
header("content-type: application/octet-stream");
header("content-type: application/download");

header("Content-Disposition: attachment; filename=lalala.zip;");
header("Content-Transfer-Encoding: binary");
header("Content-Length: ".filesize($filename));

readfile("$filename");
exit();

?>


y funciona perfecto...

Muchisimas gracias nuevamente.