/usr/share/pyshared/plasTeX/Imagers/dvipng.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 | import plasTeX.Imagers
class DVIPNG(plasTeX.Imagers.Imager):
""" Imager that uses dvipng """
command = 'dvipng -o img%d.png -D 120 -Q 4'
fileExtension = '.png'
def formatConfigOptions(self, config):
options = []
if config['resolution']:
options.append(('-D', config['resolution']))
return options
Imager = DVIPNG
|