Tôi muốn đổi tên nhiều tệp trong cùng một thư mục bằng cách sử dụng tập lệnh Bash. Tên của các tập tin như sau:
file2602201409853.p
file0901201437404.p
file0901201438761.p
file1003201410069.p
file2602201410180.p
Tôi muốn đổi tên thành định dạng sau:
file2503201409853.p
file2503201437404.p
file2503201438761.p
file2503201410069.p
file2503201410180.p
Tôi đã đọc về lệnh đổi tên, và cố gắng thực hiện theo cách này, nhưng nó không làm gì cả, tôi nghĩ rằng tôi có câu hỏi về cú pháp. Sau đó tôi đọc rằng bạn có thể tạo một vòng lặp bằng lệnh mv như sau:
for file in cmpsms*2014*.p; do
mv "$file" "${file/cmpsms*2014*.p/cmpsms25032014*.p}"
done
Nhưng tôi không thể đổi tên các tập tin. Tôi đang làm gì sai?
*
là?