4 ms·
Can’t you it directly using Pygments’ ImageFormatter? http://pygments.org/docs/formatters/#ImageFormatter http://pygments.org/docs/formatters/#ImageFormatter
by hk__2 9y ago
Can’t you it directly using Pygments’ ImageFormatter?
http://pygments.org/docs/formatters/#ImageFormatter http://pygments.org/docs/formatters/#ImageFormatter
- sago 9y agoApparently so! I don't generate images myself, so i didn't know. $ pygmentize -o out.png src.py Neat.