ignore directories and pyc files for changes (editors write tmp/swap

files etc., which also affects mtime of directory)
This commit is contained in:
holger krekel
2013-10-07 10:28:08 +02:00
parent 8e88261c15
commit ca54911481
3 changed files with 12 additions and 6 deletions

View File

@@ -188,7 +188,7 @@ class StatRecorder:
self.check() # snapshot state
def fil(self, p):
return p.check(dotfile=0)
return p.check(file=1, dotfile=0) and p.ext != ".pyc"
def rec(self, p):
return p.check(dotfile=0)