我有这个档案名称
1006_12_000123123_000023126.data
我想要这个文件名。我有arround 300000个文件。
1006_12_123123_23126.png
我尝试了这些解决方案的Som，但它们的文件名都像00002323.jpg
我可以使用mv重命名。
for original_name in *.data; do
# determine new file name from original:
# remove zeroes and change extension.
new_name=$(echo "$original_name" | sed -e 's/_0*/_/g' -e s'/.data$/.png/')
mv "$original_name" "$new_name"
done
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句