Saya ingin mengganti nama banyak file di direktori yang sama menggunakan skrip Bash. Nama file adalah sebagai berikut:
file2602201409853.p
file0901201437404.p
file0901201438761.p
file1003201410069.p
file2602201410180.p
Saya ingin mengganti nama ke format berikut:
file2503201409853.p
file2503201437404.p
file2503201438761.p
file2503201410069.p
file2503201410180.p
Saya membaca tentang perintah rename, dan mencoba melakukannya dengan cara ini, tetapi tidak melakukan apa-apa, saya pikir saya memiliki pertanyaan tentang sintaks. Lalu saya membaca bahwa Anda dapat membuat loop menggunakan perintah mv sebagai berikut:
for file in cmpsms*2014*.p; do
mv "$file" "${file/cmpsms*2014*.p/cmpsms25032014*.p}"
done
Tapi saya tidak bisa mengganti nama file. Apa yang saya lakukan salah?
*
?