ignore case for pattern matching

16 years ago · 70ebf63438
parent 4b11dde6c3
commit 70ebf63438
1 changed files with 1 additions and 1 deletions
--- a/autojump.py
+++ b/autojump.py
@ -19,7 +19,7 @@ def dicadd(dic,key,increment=1):
 def match(path,pattern,path_dict):
    import re
    if os.path.realpath(os.curdir)==path : return False
-    if re.search(pattern,"/".join(path.split('/')[-1-pattern.count('/'):])) is None:
+    if re.search(pattern,"/".join(path.split('/')[-1-pattern.count('/'):]),re.IGNORECASE) is None:
        return False
    else: 
        if os.path.exists(path) : return True