ファイルの名前を変更する

番号づけされたファイルが膨大にあるのだが、二桁の数字の前に0を入れて三桁に変える必要が生じた。

all02.bmp(変更前） -> all002.bmp（変更後）

下のスクリプトで一気に実行。楽だ。

#!/usr/bin/python

import os, glob

files = glob.glob('all*bmp')
for f in files:
    if f[5] == '.':
        n = f[0:3] + '0'+ f[3:9]
        os.rename(f, n)