diff options
Diffstat (limited to 'webapp/non_npm_dependencies/katex/cli.js')
-rwxr-xr-x | webapp/non_npm_dependencies/katex/cli.js | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/webapp/non_npm_dependencies/katex/cli.js b/webapp/non_npm_dependencies/katex/cli.js new file mode 100755 index 000000000..b64de377c --- /dev/null +++ b/webapp/non_npm_dependencies/katex/cli.js @@ -0,0 +1,32 @@ +#!/usr/bin/env node +// Simple CLI for KaTeX. +// Reads TeX from stdin, outputs HTML to stdout. +/* eslint no-console:0 */ + +var katex = require("./"); +var input = ""; + +// Skip the first two args, which are just "node" and "cli.js" +var args = process.argv.slice(2); + +if (args.indexOf("--help") !== -1) { + console.log(process.argv[0] + " " + process.argv[1] + + " [ --help ]" + + " [ --display-mode ]"); + + console.log("\n" + + "Options:"); + console.log(" --help Display this help message"); + console.log(" --display-mode Render in display mode (not inline mode)"); + process.exit(); +} + +process.stdin.on("data", function(chunk) { + input += chunk.toString(); +}); + +process.stdin.on("end", function() { + var options = { displayMode: args.indexOf("--display-mode") !== -1 }; + var output = katex.renderToString(input, options); + console.log(output); +}); |