diff options
Diffstat (limited to 'wikifolio-rss')
-rwxr-xr-x | wikifolio-rss | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/wikifolio-rss b/wikifolio-rss deleted file mode 100755 index 5034dd7..0000000 --- a/wikifolio-rss +++ /dev/null @@ -1,19 +0,0 @@ -#!/usr/bin/python3 -import os -import sys -import logging - -import wikifolio -import wikifolio.rss -import os - -logging.basicConfig(level=logging.INFO) - -if len(sys.argv) == 2 and os.path.exists(sys.argv[1]): - filename = sys.argv[1] - name = os.path.basename(filename) - name, _ = os.path.splitext(name) - cert = wikifolio.get_id_from_name(name) - comments = wikifolio.get_comments(cert) - with open(filename, "w") as f: - f.write(wikifolio.rss.dump(cert, comments)) |