Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #!/usr/bin/env python2
- # -*- coding: utf-8 -*-
- import os
- import re
- import sys
- import urllib
- path = 'images/latex'
- index = 0
- saved = {}
- def save_formula(expr):
- global index
- try:
- return saved[expr]
- except KeyError:
- pass
- link = 'http://latex.codecogs.com/png.latex?' + urllib.quote(expr)
- index += 1
- filename = os.path.join(path, '%s.png' % index)
- conn = urllib.urlopen(link)
- with open(filename, 'wb') as f:
- f.write(conn.read())
- conn.close()
- saved[expr] = filename
- sys.stderr.write('%s -> %s\n' % (expr, filename))
- return filename
- def main():
- content = sys.stdin.read()
- content = re.sub(r'(?s)\$(.*?)\$', lambda match: (
- '<img src="%s" />' % save_formula(match.groups()[0].strip())
- ), content)
- sys.stdout.write(content)
- if __name__ == '__main__':
- main()
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement