> OK. Starting from next release, we'll use the convention that the file > extension is the part after the last period of a basename.
Useful formal statement from the Python docs:
os.path.splitext(path)
Split the pathname path into a pair (root, ext) such that root +
ext == path, and ext is empty or begins with a period and contains at
most one period. Leading periods on the basename are ignored;
splitext('.cshrc') returns ('.cshrc', '').
--
jean . .. .... //\\\oo///\\
