Function ext_upper

recipes/Python/510388_Extention_Editor/recipe-510388.py:24–27

(path)

        zero.os.rename(path, zero.os.path.join(head, root + '.' + ext.lower()))

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

def parts(path):
    head, tail = zero.os.path.split(path)