Make all files extension lower by a given directory name

[Fredrik Lundh]

Tiefeng Wu wrote:

> strip off the last character because if simply add name
 > and ext I got result like "FOO..bar", there are two dots.

that's not how splitext works, though:

 >>> os.path.splitext("FOO.BAR")
('FOO', '.BAR')

can you post an example of a filename that misbehaves on your machine?

</F>