Date et création de fichier
Bonjour à tous,
Je cherche à faire un script qui détecte si un fichier est présent dans un dossier. Jusqu'ici rien de bien dramatique mais ce qui me bloque c'est que le nom de ce fichier est "variable".
Je m'explique :
Lors de l'exécution de mon script, je dois vérifier si un fichier contient dans son nom "Companies", si ce n'est pas le cas, je dois le créer avec comme préfixe la date actuelle de création du fichier. J'ai quelque chose de ce genre :
Code:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
$date = date("YmdHis");
$filename = glob('./migrations/*.php');
$p = "Companies";
$nombis = preg_grep("/$p/", $filename); // ligne qui pose problème
echo "$nombis[0]". "\n";
if (empty($nombis[0]))
{
$companies="_CreateTableCompanies.php";
$nom = "$date.$companies";
$tab = explode('.', $nom); // tableau contenant 2 valeurs
echo $tab[0].$tab[1] . "\n";
touch ("./migrations/$tab[0]$tab[1].php");
}
else {
echo "le fichier existe déjà";
} |
C'est ce qui se passe dans le grep le problème...apparemment je n'ai le droit qu'à un délimiteur et je ne sais pas quoi mettre car tous les fiichiers seront de la forme date_nom.php. Le mieux serait que j'arrive a mettre une chaine de caractère mais j'ai pas l'impression qu'on puisse recherche dans un tableau avec preg_match...
Une idée svp ? :)
Merci d'avance
