PHP : comment obtenir la date de création d'un fichier ?

Question

Je lis un dossier contenant de nombreux fichiers.

Comment puis-je obtenir la date de création d'un fichier. Je ne vois pas de fonction directe pour l'obtenir.

Il y a filemtime y filectime .

Et si le fichier n'a pas été modifié, que se passera-t-il ?

Answer 1

Utilisez filectime . Pour Windows, il renverra l'adresse création et pour Unix, le changement ce qui est le mieux que vous puissiez obtenir car sous Unix il n'y a pas de temps de création (dans la plupart des systèmes de fichiers).

Notez également que dans certains textes Unix, l'option ctime d'un fichier est considéré comme étant l'heure de création du fichier. Ceci est faux. Il n'y a pas d'heure de création de création pour les fichiers Unix dans la plupart systèmes de fichiers.

Answer 2

Voici l'exemple de code tiré de la documentation PHP ici : https://www.php.net/manual/en/function.filemtime.php

// outputs e.g.  somefile.txt was last changed: December 29 2002 22:16:23.

$filename = 'somefile.txt';

if (file_exists($filename)) {

    echo "$filename was last modified: " . date ("F d Y H:i:s.", filemtime($filename));
}

Le code spécifie le nom du fichier, puis vérifie s'il existe et affiche ensuite l'heure de modification à l'aide de la fonction filemtime() .

filemtime() prend 1 paramètre qui est le chemin d'accès au fichier, celui-ci peut être relatif ou absolu.

Answer 3

Malheureusement, si vous travaillez sous Linux, vous ne pouvez pas accéder à ces informations car seule la date de dernière modification est enregistrée.

Cela dépend légèrement de votre système de fichiers. Je sais que ext2 et ext3 ne supportent pas le temps de création mais je pense que ext4 le fait.

Answer 4

Je sais que ce sujet est super vieux, mais, au cas où quelqu'un cherche une réponse, comme moi, je poste ma solution.

Cette solution fonctionne SI cela ne vous dérange pas d'avoir quelques données supplémentaires au début de votre fichier.

En gros, l'idée est de, si le fichier n'existe pas, de le créer et d'ajouter la date du jour à la première ligne. Ensuite, vous pouvez lire la première ligne avec fgets(fopen($file, 'r')) et le transformer en un DateTime ou autre (vous pouvez évidemment l'utiliser brut, à moins que vous ne l'ayez enregistré dans un format bizarre) et voilà - vous avez votre date de création ! Par exemple, mon script pour rafraîchir mon fichier journal tous les 30 jours ressemble à ceci :

if (file_exists($logfile)) {
            $now = new DateTime();
            $date_created = fgets(fopen($logfile, 'r'));
            if ($date_created == '') {
                file_put_contents($logfile, date('Y-m-d H:i:s').PHP_EOL, FILE_APPEND | LOCK_EX);
            }
            $date_created = new DateTime($date_created);
            $expiry = $date_created->modify('+ 30 days');
            if ($now >= $expiry) {
                unlink($logfile);
            }
        }