Comando Bash para eliminar los ceros iniciales de todos los nombres de archivos
Tengo un directorio con un montón de archivos con nombres como:
001234.jpg
001235.jpg
004729342.jpg
Quiero eliminar los ceros iniciales de todos los nombres de archivos, por lo que me quedaría con:
1234.jpg
1235.jpg
4729342.jpg
He estado probando diferentes configuraciones de sed, pero no puedo encontrar la sintaxis correcta. ¿Existe una manera fácil de enumerar todos los archivos en el directorio, canalizarlos a través de sed y moverlos o copiarlos al nuevo nombre de archivo sin los ceros iniciales?