Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
pygments scanner for zsh?
- X-seq: zsh-workers 28719
- From: Rocky Bernstein <rocky@xxxxxxx>
- To: zsh-workers@xxxxxxx
- Subject: pygments scanner for zsh?
- Date: Tue, 8 Feb 2011 13:22:48 -0500
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:date:x-google-sender-auth :message-id:subject:from:to:content-type; bh=fPC9ezTJ88SS7lZ6KjO8+dcHzWgUI5eTANOvUelY2Qw=; b=ai+q/Bj7Dw1uyFkoZoGv/Ag/jsdC/q54/Wrj4+rwxIH5qDsFS8z+pOg6pPA7IrmoHD PA8BzfLt8NFa4H0XXX1xa779MgXiGKY38kfKZueEdZZkiQawc3BcNgfQrhe0hz57bK47 Ka1DFpBMX1HWbpcxnZU+xXOL/JJq0byjoARRQ=
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type; b=HKXs7NrImQR652cavbCiIGGFSUpKlzbpCdZXNvrIMxptqRaFylMz2XgPTUZ1GaztP5 n5e1N6oagqW03J7R0JuYmK6/hOe/dqKvhu5yAC6r01Syfzomj4pbZLe/1P2zJVyPU/fB M0a1d1iU3ok8wLU9eaUILuoAg7BcnvU4RPhdI=
- List-help: <mailto:zsh-workers-help@zsh.org>
- List-id: Zsh Workers List <zsh-workers.zsh.org>
- List-post: <mailto:zsh-workers@zsh.org>
- Mailing-list: contact zsh-workers-help@xxxxxxx; run by ezmlm
- Sender: rocky.bernstein@xxxxxxxxx
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.
Messages sorted by:
Reverse Date,
Date,
Thread,
Author