| Source : lesson_12_f_mk_dir.php |
Résultat |
<?php
if (file_exists("../exercises/chiffres_12/renard_.txt"))
{
echo "le fichier existait déjà, on l'efface";
unlink("../exercises/chiffres_12/renard_.txt");
}
// ouvre le répertoire
$myDirectory = opendir("../exercises/chiffres_12");
// Récupère chaque entrée
echo "<ul>";
while($entryName = readdir($myDirectory))
{
print("<LI>$entryName \n");
}
closedir($myDirectory); // ferme le répertoire
print("</UL>\n");
?>
<hr>
<?php
$myDir="../exercises/chiffres_12/";
$myFile_in = "../exercises/renard.txt";
$myFile_out = "../exercises/chiffres_12/renard_.txt";
copy ($myFile_in,$myFile_out);
echo "Liste des fichiers du répertoire après la copie :";
$myDirectory = opendir("../exercises/chiffres_12");
echo "<ul>";
while($entryName = readdir($myDirectory))
{
print("<LI>$entryName \n");
}
closedir($myDirectory); // ferme le répertoire
print("</UL>\n");
?>
|
le fichier existait déjà, on l'efface- .
- ..
- img_5.gif
- img_2.gif
- myDir
- img_3.gif
- img_4.gif
- img_9.gif
- img_7.gif
- img_0.gif
- img_1.gif
- img_6.gif
- img_8.gif
Liste des fichiers du répertoire après la copie :- .
- ..
- img_5.gif
- img_2.gif
- myDir
- img_3.gif
- img_4.gif
- img_9.gif
- img_7.gif
- img_0.gif
- renard_.txt
- img_1.gif
- img_6.gif
- img_8.gif
|
