Function ext_lower

recipes/Python/510388_Extention_Editor/recipe-510388.py:19–22

(path)

    zero.main(mode)

def ext_lower(path):
    head, root, ext = parts(path)
    if ext != ext.lower():
        zero.os.rename(path, zero.os.path.join(head, root + '.' + ext.lower()))

def ext_upper(path):
    head, root, ext = parts(path)