Downloadare rinominando

In certe situazioni può esser utile fare in modo che il file scaricato dall'utente abbia un nome personalizzato.

Con php è semplice, attraverso queste poche righe di script (nell'esempio si scarica un file zip, se l'estenzione file fosse diversa occorre modfiicare l'header Content-type)

 
// impostiamo il nome del file da scaricare oppure la query di selezione dinamica 
$file = "nomefile.zip";

// impostiamo il nome con cui verrà salvato il file o le righe di script che ne personalizzano il nome 
$nome = "pippo"; 

// indichiamo al browser il type del file 
header("Content-type: application/zip");

// indichiamo al browser il nome con cui salvare il file
header("Content-Disposition: attachment; filename='" . $nome . ".zip'");

// apriamo il file 
echo $file; 

In questo modo possiamo tranquillamente codificare i nomi dei file nel nostro db rendendoli 'comprensibili' al momento del download!