You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

78 lines
2.1 KiB

#! /usr/bin/env node
/*************************************************************************
*
* tex2png
*
* Uses MathJax and batik to convert a TeX or LaTeX string to
* a PNG image.
*
* ----------------------------------------------------------------------
*
* Copyright (c) 2014 The MathJax Consortium
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
var mjAPI = require("../lib/mj-single.js");
var argv = require("yargs")
.demand(1).strict()
.usage("Usage: tex2png [options] 'math' > file.png",{
inline: {
boolean: true,
describe: "process as in-line TeX"
},
linebreaks: {
boolean: true,
describe: "perform automatic line-breaking"
},
dpi: {
default: 0,
describe: "dpi for image (0 = calculate automatically)"
},
font: {
default: "TeX",
describe: "web font to use"
},
ex: {
default: 6,
describe: "ex-size in pixels"
},
width: {
default: 100,
describe: "width of container in ex"
},
extensions: {
default: "",
describe: "extra MathJax extensions e.g. 'Safe,TeX/noUndefined'"
}
})
.argv;
if (argv.font === "STIX") argv.font = "STIX-Web";
mjAPI.config({MathJax: {SVG: {font: argv.font}}, extensions: argv.extensions});
mjAPI.start();
if (argv.dpi === 0) {argv.dpi = argv.ex * 16} // pixels properly sized
mjAPI.typeset({
math: argv._[0],
format: (argv.inline ? "inline-TeX" : "TeX"),
png:true, dpi:argv.dpi,
ex: argv.ex, width: argv.width,
linebreaks: argv.linebreaks
}, function (data) {
if (!data.errors) {process.stdout.write(new Buffer(data.png.slice(22),'base64'))}
});