Y
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
sago
3210 days ago
Apparently so! I don't generate images myself, so i didn't know.
$ pygmentize -o out.png src.py
Neat.
link