Làm cách nào để xóa HHMMSS khỏi tên tệp trong Linux/Unix?

Tôi có tên tệp là mahelipaul_YYYYMMDDHHMMSS, tôi cần xóa phần HHMMSS khỏi tệp và gán nó cho một biến mới.

Tôi cần tệp có dạng mahelipaul_YYYYMMDD. Tôi làm nó như thế nào?

đơn giản nhất

tên tệp=mahelipaul_20201231235959
echo mv "$filename" "${filename%??????}" # xóa 6 ký tự cuối

Xóa tiếng vang nếu nó có vẻ đúng.

Có nhiều điều phức tạp hơn có thể được thực hiện để xác thực hậu tố là 14 chữ số và đảm bảo những chữ số đó biểu thị dấu thời gian hợp lệ.

Với Bash, bạn có thể sử dụng "cắt" để cắt một số ký tự khỏi một chuỗi. Có vẻ như bạn muốn xóa 6 ký tự cuối cùng và có thể thực hiện như sau: (đây chỉ là một cách khác để thực hiện tương tự như trong câu trả lời của Glenn)

$ filename=mahelipaul_20201231235959
$ echo "${filename::-6}" # xóa 6 ký tự cuối
mahelipaul_20201231

Nếu bạn muốn điều ngược lại (chỉ giữ lại 6 ký tự cuối cùng, thì nó sẽ như thế này:

$ filename=mahelipaul_20201231235959
$ echo "${filename:(-6)}" # chỉ giữ lại 6 ký tự cuối cùng
235959

Lưu ý rằng tôi "chỉ" gán một biến và in biến mới. Bạn cần sử dụng các biến đã sửa đổi này để tạo các biến, tệp mới hoặc bất kỳ thứ gì bạn thực sự muốn làm.

tôi tìm thấy cái này tài liệu tham khảo bash thực sự hữu ích.