番号づけされたファイルが膨大にあるのだが、二桁の数字の前に0を入れて三桁に変える必要が生じた。all02.bmp(変更前） -> all002.bmp（変更後）下のスクリプトで一気に実行。楽だ。 #!/usr/bin/python import os, glob files = glob.glob('all*bmp') for f …