esportare e salvare file txt con il nome che voglio io

[caruccis]

prova sotituendo questa riga :

header("Content-Disposition: attachment; filename=\"$nome_file\"");