fsfi

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

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

bin/html: files: Ignore backup files.

Diffstat:
bin/html | 11++++++++++-
1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/bin/html b/bin/html @@ -36,7 +36,16 @@ def fok(f): def files(): - return os.scandir('md/news') + files = os.scandir('md/news') + + fs = [] + for f in files: + if not fok(f): + print('Ignoring {}'.format(f.path)) + else: + fs.append(f) + + return fs def read(f):