A code snippet to find the case sensitive version of path name on the system given a case insensitive version.

case_sensitive_path.py

import os

def get_case_sensitive_pathname(path, top):
    for root, dirs, files in os.walk(top):
      for d in dirs:
          if os.path.join(root, d).lower() == path.lower():
              return os.path.join(root, d)
      for f in files:
          if os.path.join(root, f).lower() == path.lower():
              return os.path.join(root, f)
      return path