ファイル名一括変換の正規表現

1.mp3を0001.mp3、123.mp3を00123.mp3に変換する正規表現

(1) (\d+)  -> 0\1   頭にゼロをつける
(2) 0*(\d{2,}) -> 0\1  ３桁の数字より桁上にゼロがあれば取り去る
(3) 上記(1)と同じ
(4) 上記(2)の{2,}の数字を3にする
繰り返し

少し曖昧だけど、上記でできるはず

ここを参考

bashを使えば、もっとスマートに出来るかもしれない。