Fare una ricerca su un file

<?php
$ricerca="giorgiotave";
if (!$p_file = fopen("utenti.txt","r")) {
echo "Spiacente, non posso aprire il file utenti.txt";
} else {
while(!feof($p_file))
{
$linea = fgets($p_file, 255);
$linea=(trim($linea));
if ( $linea == $ricerca )
echo "Trovato! $linea<BR>";
}
fclose($p_file);
}
?>

Analizziamo il codice. All’inizio impostiamola nostra chiave di ricerca, poi verifichiamo se il file si può aprire.

Dopodiché leggiamo tutto il contenuto del file inserendolo in una variabile, ripuliamo la variabile da spazi ed impostiamo la nostra ricerca.

Se nella variabile c’e la nostra chiave la mostrerà.

Copiare un file

Quando copiate i file ricordate sempre di controllare i permessi in lettura nelle rispettive cartelle.

<?php
$nome_file="miofile.txt";
$old=".old";
if (!file_exists($nome_file)) {
echo "Spiacente, non posso trovare il file $nome_file";
} else {
if (!copy($nome_file, $nome_file.$old)) {
echo "$PHP_SELF: Errore, impossibile copiare il file $nome_file";
echo "Controllalo!";
} else {
echo "Il file $nome_file è stato copiato in $nome_file$old";
}
}
?>

Si nota come abbiamo impostato il nuovo nome del file con una estensione contenuta in una variabile e poi assegnata tramite “.”

Cancellare un file

Sintassi : unlink(nomedelfile);

<?php
$nome_file="miofile.txt.old";
if (!file_exists($nome_file)) {
echo "Spiacente, non posso trovare il file $nome_file";
} else {
if (!unlink($nome_file)) {
echo "$PHP_SELF: Errore, impossibile cancellare il file $nome_file";
echo "Controllalo!";
} else {
echo "Il file $nome_file è stato cancellato";
}
}
?>

---