From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 15984 invoked by alias); 8 Feb 2011 18:22:57 -0000 Mailing-List: contact zsh-workers-help@zsh.org; run by ezmlm Precedence: bulk X-No-Archive: yes List-Id: Zsh Workers List List-Post: List-Help: X-Seq: 28719 Received: (qmail 15950 invoked from network); 8 Feb 2011 18:22:53 -0000 X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on f.primenet.com.au X-Spam-Level: X-Spam-Status: No, score=-2.6 required=5.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,HTML_MESSAGE,RCVD_IN_DNSWL_LOW autolearn=ham version=3.3.1 Received-SPF: pass (ns1.primenet.com.au: SPF record at _spf.google.com designates 209.85.213.171 as permitted sender) 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= MIME-Version: 1.0 Sender: rocky.bernstein@gmail.com Date: Tue, 8 Feb 2011 13:22:48 -0500 X-Google-Sender-Auth: 8fwNiWh3XaeRMXodjEHxRd_3KC0 Message-ID: Subject: pygments scanner for zsh? From: Rocky Bernstein To: zsh-workers@zsh.org Content-Type: multipart/alternative; boundary=001e680f13248a95d2049bc96fc4 --001e680f13248a95d2049bc96fc4 Content-Type: text/plain; charset=ISO-8859-1 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. --001e680f13248a95d2049bc96fc4--