Renomer l'extention de fichiers

Renomme tous les fichiers portant l'extension $ext1 dans le dossier $dir avec l'extension $ext2

Tous les codes

Mathieu

[20] sources en PHP voir

Code vu 5389 fois

Enregistré le 01 Sept 2004

téléchargement du zip

impression de la fiche

Code Source

01.
02.
03.
04.
05.
06.
07.
08.
09.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.
27.
28.
29.
30.
31.
32.
33.
34.
35.
36.
37.
38.
39.
40.

<?php
/******************************************************************************/
/*                                                                            */
/*                       __        ____                                       */
/*                 ___  / /  ___  / __/__  __ _____________ ___               */
/*                / _ \/ _ \/ _ \_\ \/ _ \/ // / __/ __/ -_|_-<               */
/*               / .__/_//_/ .__/___/\___/\_,_/_/  \__/\__/___/               */
/*              /_/       /_/                                                 */
/*                                                                            */
/*                                                                            */
/******************************************************************************/
/*                                                                            */
/* Titre          : Renomer l'extention de fichiers                           */
/*                                                                            */
/* URL            : http://www.phpsources.org/scripts66-PHP.htm               */
/* Auteur         : Mathieu                                                   */
/* Date édition   : 01 Sept 2004                                              */
/*                                                                            */
/******************************************************************************/


function rename_files($dir , $ext1 , $ext2) {
$fp = opendir($dir);
chdir($dir);
while ($file = readdir($fp)) {
$pt = strrpos($file, ".");
if ($pt != FALSE) {
$file_ext = substr($file, $pt + 1, strlen($file) - $pt - 1);
if ($file_ext == $ext1) {
$newname = substr($file, 0, $pt).".".$ext2;
rename($file, $newname);
}
}
}
closedir($fp);
return TRUE;
}

?>