* pygments scanner for zsh?
@ 2011-02-08 18:22 Rocky Bernstein
0 siblings, 0 replies; only message in thread
From: Rocky Bernstein @ 2011-02-08 18:22 UTC (permalink / raw)
To: zsh-workers
[-- Attachment #1: Type: text/plain, Size: 836 bytes --]
Recently I've added syntax coloring to the zshdb debugger (on git only). It
uses pygments. See http://pygments.org/. Right now I'm using the pygments
scanner for bash.
I mention all of this in case there is a desire or need for customization of
that scanner specifically for zsh.
Also, for my terminal output I dislike the colors. See TOKEN_COLORS of
pygments/formatters/terminal.py in the source code.
For example variable name and constant are both red. As great as pygments
is, the command-line program pygmentize doesn't seem to have suitable
options for setting say terminal colors of for tokens. (Or I can't figure
out how to use it). So what I'll probably do is write a simple front-end
Python to run things and have a way inside the debugger to specify
customization.
But if folks have already figured this out, lemme know.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2011-02-08 18:22 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-02-08 18:22 pygments scanner for zsh? Rocky Bernstein
Code repositories for project(s) associated with this public inbox
https://git.vuxu.org/mirror/zsh/
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).