zsh-workers
 help / color / mirror / code / Atom feed
* 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).