|
|
@ -35,7 +35,7 @@ if __name__ == "__main__": |
|
|
s.clean(n) |
|
|
s.clean(n) |
|
|
s.update(args.update_modified_times) |
|
|
s.update(args.update_modified_times) |
|
|
else: |
|
|
else: |
|
|
s = searcher.Searcher(args.ext) |
|
|
|
|
|
|
|
|
s = searcher.Searcher(args.ext,args.case_sensitive) |
|
|
if args.__dict__.pop('exact'): |
|
|
if args.__dict__.pop('exact'): |
|
|
matches = s.exact(args.query) |
|
|
matches = s.exact(args.query) |
|
|
else: |
|
|
else: |
|
|
|