Bash command to remove leading zeros from all file names

Question

I have a directory with a bunch of files with names like:

001234.jpg
001235.jpg
004729342.jpg

I want to remove the leading zeros from all file

Answer 1

In Bash shell you can do:

shopt -s nullglob
for file in 0*.jpg
do
   echo mv "$file" "${file##*0}"
done