/usr/share/pyshared/plasTeX/Imagers/dvi2bitmap.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 19 20 21 | import plasTeX.Imagers
class DVI2Bitmap(plasTeX.Imagers.Imager):
""" Imager that uses dvi2bitmap """
command = 'dvi2bitmap --magnification=6 --scaledown=6 ' + \
'--process=notransparent --crop=all=5 --output=img%d.png'
fileExtension = '.png'
def writePreamble(self, document):
plasTeX.Imagers.Imager.writePreamble(self, document)
self.source.write('\\special{dvi2bitmap default imageformat png}\n')
self.source.write('\\special{dvi2bitmap default unit pixels}\n')
def formatConfigOptions(self, config):
options = []
if config['resolution']:
options.append(('--resolution=%s' % config['resolution'], ''))
return options
Imager = DVI2Bitmap
|