From 70ebf63438f71f62f7a1be50afbc6caf25759697 Mon Sep 17 00:00:00 2001 From: Joel Schaerer Date: Wed, 7 May 2008 16:32:31 +0200 Subject: [PATCH] ignore case for pattern matching --- autojump.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/autojump.py b/autojump.py index 70a0b94..0d36522 100755 --- 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