En el proyecto web en el que estoy trabajando debía de cambiar la un trozo del nombre del fichero a unos ciento y pico archivos.
Tenía tres opciones:
- Cambiarlo manualmente en los archivos del servidor.
- Bajarme los archivos a mi pc y usar un programa renombrador de archivos en masa y luego volver a subirlos.
- Usar éste script PHP FileRenamer.
El script es muy sencillo de usar. Se descomprime en una carpeta del PC y se abre con un editor (bloc de notas, Dreamweaver,…) y se editan las opciones que tiene el programa. Luego se sube al servidor y se ejecuta desde el navegador web.
Las opciones básicas son (entre otras): texto a buscar, texto a reemplazar, cambiar sólo archivos con la extensión…, sólo buscar en ésta carpeta, buscar en subcarpetas, …
Vamos que es super sencillo de usar y muy rápido.
A mi me ha ahorrado de renombrar uno a uno los ficheros del servidor o de bajármelos, renombrarlos y volver a subirlos.