fsfi

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

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

bin/feed: Add err.

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

diff --git a/bin/feed b/bin/feed @@ -11,6 +11,7 @@ import os import os.path import re import subprocess as subp +import sys URL = 'https://fsfi.web' @@ -32,6 +33,11 @@ E_PH = { } +def err(s): + print('Error: {}'.format(s)) + sys.exit(1) + + def files(sec): return os.scandir('md' + '/' + sec)