Salva con nome

Salve avrei bisogno di un aiuto. Ho bisogno che i miei utenti scarichino la mia pagina html.
Però mi piacerebbe semplificare questa operazione. Cioè invece di dir loro clicca con il tasto destro e vai su salva con nome... vorrei una cosa del genere:

scarica questa pagina html cliccando QUI.

Cliccando dunque si aprirà la finestrina salva con nome...

So che questa operazione è semplice per le estensioni href, zip, txt ecc.. dove basta mettere un <a href=.. però con i file html non so proprio come fare. Spero sia chiaro il mio bisogno. Grazie mille.

PS. ho inserito questa domanda sia in questo forum PHP, MySql e Apache (.htaccess) che nel forum JavaScript e altri linguaggi di scripting non sapendo il tipo di soluzione. Spero non sia un problema.

[saitfainder]

Devi puntare un link ad uno script PHP (che magari prende il nome del file da scaricare come parametro) fatto più o meno così:

<?php
  $filename = 'exempio.html';
  header("Content-disposition: attachment; filename=$filename");
  header('Content-type: text/html');
  readfile($filename);
?>

Ricordati di fare gli opportuni controlli per evitare che chiunque possa scaricare un file qualsiasi del tuo sito.

Innanzitutto grazie della risposta...
cmq ricevo questo errore:

Fatal error: Call to undefined function headfile() in /membri/animenod/php/ciao.php on line 5

Cosa posso aver sbagliato? Premetto che non me ne intendo di php.
Grazie ancora.

[saitfainder]

Un errore di battitura, era readfile.

Adesso mi ha creato un file di nome esempio.html ma senza contenuti... da cosa può dipendere questa volta?

EDIT:

RISOLTO ;)
dovevo cambiare il nome exempio.html con il nome del file da salvare...
Nasce un altro mio dubbio dunque.
Se io voglio che in 10 pagine html ci sia la scritta:

scarica questa pagina html cliccando QUI.

allora devo creare 10 script PHP dove in ognuno dei quali ci sarà il $filename della pagina? Non c'è un modo che ogni pagina possa essere salvata puntando allo stesso script PHP?
Grazie 1000 comunque ;)

[alemoppo]

Puoi cambiare la variabile "$filename", ad esempio con un parametro get, dove indichi la pagina da poter scaricare; ad esempio:

download.php

<?php
  if(!isset($_GET['pagina']))
      die('Nulla da scaricare'); 
  $filename = $_GET['pagina'].'.html'; 
  header("Content-disposition: attachment; filename=$filename"); 
  header('Content-type: text/html'); 
  readfile($filename); 
?>

Quindi potresti farli con una cosa del tipo:

pagina1.html

per scaricare il sorgente di questa pagina, premere <a href="download.php?pagina=pagina1">qui</a>

pagina2.html

per scaricare il sorgente di questa pagina, premere <a href="download.php?pagina=pagina2">qui</a>

...Ovviamente i nomi li ho inventati.

Comunque, riquoto saitfainder:

Ricordati di fare gli opportuni controlli per evitare che chiunque possa scaricare un file qualsiasi del tuo sito

..anche se ho forzatol'estensione '.html', un bel controllo è sempre meglio farlo.
Tra l'altro, per migliorare ulteriormente lo script, prima di procedere con il download, potresti verificare che il file esiste realmente, con la file_exists().

Ciao!

Alemoppo grazie 1000 !
Per quanto riguarda il controllo, beh c'è da dire che questo script purtroppo fa salvare tutta la sorgente e quindi non vorrei che mi copiassero il file html. A me sarebbe piaciuto avere un risultato proprio come il salva con nome.. fatto con il tasto destro, dove il file html scaricato, se aperto con un editor di testo, mostra un contenuto indecifrabile. Comunque va bene anche così.
GRAZIE ANCORAA

[alemoppo]

Non ho capito il fatto del tasto destro... Comunque, è impossibile rendere indecifrabile il codice html, perché il browser che lo apre deve poter, appunto, decifrarlo. E se ci riesce il browser, ci riesce anche una persona.
Al massimo, potresti convertire tutto con entità html (ad esempio qui), ma per un utente medio, anche questa "protezione" è facilmente aggirabile.

Infine, potresti prelevare il sorgente con una richiesta ajax, ma è molto macchinoso, e funzionerebbe soltanto se l'utente supporta/ha attivato javascript. (anche questo è facilmente aggirabile da un utente medio).

Ciao!

Alemoppo quello che volevo dire io (sicuramente in termini sbagliati) è questo:
creo un file html così: inserisco con blocco note dei codici e poi salvo con estensione html
carico tale file html sul sito
dal sito faccio tasto destro, salva con nome.. e risalvo questa pagina sul desktop
se apro con blocco note il file appena salvato i codici non sono quelli che ho scritto io, ma sono diversi (per me indecifrabili).
Comunque volevo dirti che sei gentilissimo a rispondermi ;) buon lavoro

[alemoppo]

Ah, adesso ho capito cosa intendi con "salva con nome".
Quel codice non è indecifrabile: è il tuo html reinterpretato dal browser.
Non so bene come funziona al cosa, però lato server penso non sia possibile ricavare quel sorgente, proprio perché è un lavoro del browser.

Ciao!