3 ms·
Yes, brilliant! I read http://pygments.org/docs/styles http://pygments.org/docs/styles and other sites but I didn't find how I can change the default colors. D
by progman 11y ago
Yes, brilliant!
I read http://pygments.org/docs/styles http://pygments.org/docs/styles and other sites but I didn't find how I can change the default colors. Do I have to edit (clone) pygments or is there a config file?
- mavidser 11y agoPretty sure there's no config file, as of now. For what it's worth, here's[1] the file which describes the colors used in the source. List of colors[2]. [1] https://bitbucket.org/birkenfeld/pygments-main/src/a287342ee7165f50fdd54e3500be48256222cff6/pygments/formatters/terminal.py?at=default#cl-27 https://bitbucket.org/birkenfeld/pygments-main/src/a287342ee... [2] https://bitbucket.org/birkenfeld/pygments-main/src/a287342ee7165f50fdd54e3500be48256222cff6/pygments/console.py?at=default#cl-25 https://bitbucket.org/birkenfeld/pygments-main/src/a287342ee...
- progman 11y agoThanks!