Remove zeros inside file name

Question

I have this file name

1006_12_000123123_000023126.data

and I want this file name. I have arround 300000 files.

1006_12_123123_23126.png

I tried som of these solution, but they are for filename like 00002323.jpg

Bash command to remove leading zeros from all file names

I can use mv to rename.

ron rothman · Accepted Answer · 2015-06-20T19:54:43.843

2

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

edited Jun 20 '15 at 19:54

answered Jun 20 '15 at 19:05

ron rothman

17,348
7
41
43

good solution, but I wil need this in loop like `for file in *_*_*_*.data do mv "${file}" "${file/.data/.png}" done ` – Maros Mayer Jun 20 '15 at 19:16
Okay, I've edited my answer to loop over multiple files. Hope that helps. – ron rothman Jun 20 '15 at 19:55

Eduardo Escobar · Answer 2 · 2015-06-20T19:12:15.143

0

Use this

ls * | sed -e 'p;s/_0*/_/g' | xargs -n2 mv

edited Jun 20 '15 at 19:12

answered Jun 20 '15 at 19:07

Eduardo Escobar

3,301
2
18
15

Watch out, it will loop over all files in the current directory and remove the zeroes in their names – Eduardo Escobar Jun 20 '15 at 19:08
it returns error -sh: /bin/ls: Argument list too long – Maros Mayer Jun 20 '15 at 19:11
this is not encouraged too. `ls` is a bad tool to start with when dealing with file names. the correct way is `*` or `find . -print0 | xargs -0` or `find . -exec` pattern. – Jason Hu Jun 20 '15 at 19:32

Remove zeros inside file name

2 Answers2