Il y a quelque temps de ça (les premières versions étaient sous OS 9), j'ai écrit un script qui a pour objet de renommer l'ensemble des fichiers d'un dossier, avec une partie fixe et une partie numérique incrémentale. J'ai fait ça pour un ami qui s'enquiquinait à renommer laborieusement à la main des centaines de fichiers (photos) aux fins de publication sur internet.
Le principe est simple, vous désignez le dossier contenant les fichiers (il ne doit pas contenir de sous dossiers), indiquez la partie fixe des noms, puis le premier N° (pour éviter de tout renommer si on veut ajouter des fichiers dans un dossier déjà constitué), en complétant avec des zéro pour fixer le nombre de chiffres de la partie mobile (par ex :025 numérotera sur 3 chiffres à partir de 25, 00001 numérotera sur cinq chiffres à partir de 1). Enfin, fixer l'extension des fichiers, avec la possibilité de maintenir l'extension existante (par ex dans un dossier mélangeant des GIF et des JPG).
Voilà, pour ceux que ça intéresse, ils peuvent le télécharger ici. L'archive contient les versions OS 9 et OS X
Le principe est simple, vous désignez le dossier contenant les fichiers (il ne doit pas contenir de sous dossiers), indiquez la partie fixe des noms, puis le premier N° (pour éviter de tout renommer si on veut ajouter des fichiers dans un dossier déjà constitué), en complétant avec des zéro pour fixer le nombre de chiffres de la partie mobile (par ex :025 numérotera sur 3 chiffres à partir de 25, 00001 numérotera sur cinq chiffres à partir de 1). Enfin, fixer l'extension des fichiers, avec la possibilité de maintenir l'extension existante (par ex dans un dossier mélangeant des GIF et des JPG).
Voilà, pour ceux que ça intéresse, ils peuvent le télécharger ici. L'archive contient les versions OS 9 et OS X
