/usr/share/pyshared/plasTeX/Imagers/gsdvipng.py is in python-plastex 0.9.2-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 | import gspdfpng, os, sys
gs = 'gs'
if sys.platform.startswith('win'):
gs = 'gswin32c'
class GSDVIPNG(gspdfpng.GSPDFPNG):
""" Imager that uses gs to convert dvi to png """
compiler = 'latex'
verification = '(%s --help && dvips --help)' % gs
def executeConverter(self, output):
open('images.dvi', 'w').write(output.read())
rc = os.system('dvips -o images.ps images.dvi')
if rc: return rc, None
return gspdfpng.GSPDFPNG.executeConverter(self, open('images.ps'))
Imager = GSDVIPNG
|