Quiero cambiar el nombre de varios archivos en el mismo directorio utilizando secuencias de comandos Bash. Los nombres de los archivos son los siguientes:
file2602201409853.p
file0901201437404.p
file0901201438761.p
file1003201410069.p
file2602201410180.p
Quiero cambiar el nombre al siguiente formato:
file2503201409853.p
file2503201437404.p
file2503201438761.p
file2503201410069.p
file2503201410180.p
Estaba leyendo sobre el comando de cambio de nombre e intento hacerlo de esta manera, pero no hace nada, creo que tengo preguntas sobre la sintaxis. Luego leí que puedes hacer un bucle usando el comando mv de la siguiente manera:
for file in cmpsms*2014*.p; do
mv "$file" "${file/cmpsms*2014*.p/cmpsms25032014*.p}"
done
Pero no puedo cambiar el nombre de los archivos. ¿Qué estoy haciendo mal?
*
está eso ?