python 拡張子 os.path.splitext

from PIL import Image
import glob, os

size = 128, 128

for infile in glob.glob("*.jpg"):
    file, ext = os.path.splitext(infile)
    im = Image.open(infile)
    im.thumbnail(size, Image.ANTIALIAS)
    im.save(file + ".thumbnail", "JPEG")

pythonの画像ライブラリPILを使っている。
そこよりも注目するべきは、
os.path.splitextでファイル名と拡張子を
引きちぎっているところ。
そうか、こうするのか。