Hacker News new | ask | show | jobs
by hk__2 3210 days ago
Can’t you it directly using Pygments’ ImageFormatter?

http://pygments.org/docs/formatters/#ImageFormatter

1 comments

Apparently so! I don't generate images myself, so i didn't know.

    $ pygmentize -o out.png src.py 
Neat.