fsfi

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs

commit 492c3ef7d223763780ef08154c323cce1294d225
parent 74a121e7671d231418edc5660787553044178cbb
Author: rsiddharth <s@ricketyspace.net>
Date:   Fri, 17 May 2019 21:37:22 -0400

bin/html: Add fok.

Diffstat:
bin/html | 9+++++++++
1 file changed, 9 insertions(+), 0 deletions(-)

diff --git a/bin/html b/bin/html @@ -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')