fsfi

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

commit 29b3e73190371db6cae7c6fb26fa804b5da41e9e
parent ee3d43497dac48744ed5a78e5dd5c8690242e00b
Author: rsiddharth <s@ricketyspace.net>
Date:   Fri, 17 May 2019 21:35:46 -0400

bin/feed: Add fok.

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

diff --git a/bin/feed b/bin/feed @@ -38,6 +38,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(sec): return os.scandir('md' + '/' + sec)