scusate, ho scoperto che ho sbagliato sezione:
in html non è possibile, ma con php sì!
basta inserire nel link il riferimento a questo file e specificare nella variabile $nome.txt il file che si vuole scaricre.
Ecco il codice
codice:
<?
// Legge il file
//$file_content = implode('', file($result['filepath']));
$nome='file.txt';
$nome1='file_rinominato.txt';
$file_content = implode('', file($nome));
// Invia l'header del formato di file
header('Content-Type: application/octet-stream');
// Specifica al browser che il file è un allegato, ovvero
//è da scaricare non da visualizzare
header("Content-Disposition: attachment; filename={$nome1}");
// Specifica il tipo di codifica nel trasferimento
header("Content-Transfer-Encoding: binary");
// Invia il file al browser
echo $file_content;
?>