2Shirt/WizardKit
2Shirt/WizardKit
1
0
Fork 0
Code Issues 2 Pull requests Projects Releases 26 Packages Wiki Activity Actions

Only perform case-insensitive search if needed

Browse source
This commit is contained in:
2Shirt 2019-04-07 23:45:08 -07:00
parent e420074c83
commit b166172d10
Signed by: 2Shirt
GPG key ID: 152FAC923B0E132C
1 changed files with 7 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
.bin/Scripts/functions/ufd.py
View file

@ -35,10 +35,15 @@ def case_insensitive_search(path, item):
def find_path(path): def find_path(path):
"""Find path case-insensitively, returns pathlib.Path obj.""" """Find path case-insensitively, returns pathlib.Path obj."""
parts = pathlib.Path(path).resolve().relative_to('/').parts path_obj = pathlib.Path(path).resolve()
real_path = '/'
# Quick check first
if path_obj.exists():
return path_obj
# Fix case # Fix case
parts = path_obj.relative_to('/').parts
real_path = '/'
for part in parts: for part in parts:
try: try:
real_path = case_insensitive_search(real_path, part) real_path = case_insensitive_search(real_path, part)