diff scripts/fontaine @ 4:9053902c750e

Add a console renderer and a command line utility to use it.
author Ludovic Chabant <ludovic@chabant.com>
date Tue, 03 Jan 2017 09:06:05 -0800
parents
children a5488b474c6b
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/scripts/fontaine	Tue Jan 03 09:06:05 2017 -0800
@@ -0,0 +1,25 @@
+#!/usr/bin/env python
+import os.path
+import sys
+import argparse
+
+
+sys.path.append(os.path.dirname(os.path.dirname(__file__)))
+
+
+def main():
+    parser = argparse.ArgumentParser(
+        description='Fontaine command line utility')
+    parser.add_argument('script')
+    args = parser.parse_args()
+
+    from fontaine.parser import FontaineParser
+    from fontaine.console import ConsoleDocumentRenderer
+    p = FontaineParser()
+    doc = p.parse(args.script)
+    rdr = ConsoleDocumentRenderer()
+    rdr.render_doc(doc)
+
+
+if __name__ == '__main__':
+    main()