diff options
author | rsiddharth <s@ricketyspace.net> | 2019-05-17 21:37:22 -0400 |
---|---|---|
committer | rsiddharth <s@ricketyspace.net> | 2019-05-17 21:37:22 -0400 |
commit | 492c3ef7d223763780ef08154c323cce1294d225 (patch) | |
tree | 9e23c3db25e4f0fa4435ecd838f54f1d290f345d /bin/html | |
parent | 74a121e7671d231418edc5660787553044178cbb (diff) |
bin/html: Add fok.
Diffstat (limited to 'bin/html')
-rw-r--r-- | bin/html | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -26,6 +26,15 @@ def err(s): sys.exit(1) +def fok(f): + p = os.path.basename(f.path) + + if re.search(r'(^[\.\#])|(~$)', p): + return False + + return True + + def files(): return os.scandir('md/news') |