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, which is likely to be your default login shell, no external commands are necessary.

shopt -s extglob
for i in 0*[^0]; do mv "$i" "${i##*(0)}"; done