Menu principale:
if (file_exists('/tmp/miofile') { echo 'file esistente'; } else { echo 'file non trovato'; }
if (is_file('/tmp/miofile') { echo 'file valido'; } else { echo 'la risorsa non esiste oppure non è un file'; }
echo "la dimensione del file è di " . filesize('/tmp/miofile') . " bytes";
$usersContent = file_get_contents('/tmp/users.txt'); $users = explode("\n", $usersContent); var_dump($users);
$users = ['Simone', 'Giuseppe', 'Renato']; file_put_contents('/tmp/users.txt', implode("\n", $users));
if (!copy('/tmp/file_sorgente.txt', '/tmp/file_destinazione')) { echo "si è verificato un errore durante la copia del file"; }
if (!unlink('/tmp/file_da_cancellare') { echo "si è verificato un errore durante la copia del file"; }