[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Monotone-devel] Re: colored diffs [Was: [PATCH] parent selector 'p:
From: |
Zack Weinberg |
Subject: |
Re: [Monotone-devel] Re: colored diffs [Was: [PATCH] parent selector 'p:xxx'] |
Date: |
Mon, 8 Oct 2007 17:19:42 -0700 |
On 10/8/07, Nathaniel Smith <address@hidden> wrote:
> > I'd suggest a set of Lua hooks that know the necessary escape
> > sequences for the most common TERM= settings (xterm, etc) and can
> > query the 'tput' utility for less common ones.
>
> Before going this route, could you expand on "hardwiring VT220 color
> control codes would be bad"? Are there any terminals we actually care
> about that this would fail on?
I was under the impression that the control codes for 256-color xterm
were significantly different than the codes for VT220; for instance.
But if the grep and ls maintainers have decided that VT220 codes plus
whitelist is good enough for them, then that's good enough for me too.
:-)
zw
- [Monotone-devel] Re: colored diffs [Was: [PATCH] parent selector 'p:xxx'], (continued)
- [Monotone-devel] Re: colored diffs [Was: [PATCH] parent selector 'p:xxx'], Lapo Luchini, 2007/10/08
- Re: [Monotone-devel] Re: colored diffs [Was: [PATCH] parent selector 'p:xxx'], Julio M. Merino Vidal, 2007/10/08
- Re: [Monotone-devel] Re: colored diffs [Was: [PATCH] parent selector 'p:xxx'], Ralf S. Engelschall, 2007/10/08
- Re: [Monotone-devel] Re: colored diffs [Was: [PATCH] parent selector 'p:xxx'], Julio M. Merino Vidal, 2007/10/08
- Re: [Monotone-devel] Re: colored diffs [Was: [PATCH] parent selector 'p:xxx'], Ralf S. Engelschall, 2007/10/08
- Re: [Monotone-devel] Re: colored diffs [Was: [PATCH] parent selector 'p:xxx'], Zack Weinberg, 2007/10/08
- Re: [Monotone-devel] Re: colored diffs [Was: [PATCH] parent selector 'p:xxx'], Ethan Blanton, 2007/10/08
- Re: [Monotone-devel] Re: colored diffs [Was: [PATCH] parent selector 'p:xxx'], Zack Weinberg, 2007/10/08
- Re: [Monotone-devel] Re: colored diffs [Was: [PATCH] parent selector 'p:xxx'], Ethan Blanton, 2007/10/08
- Re: [Monotone-devel] Re: colored diffs [Was: [PATCH] parent selector 'p:xxx'], Nathaniel Smith, 2007/10/08
- Re: [Monotone-devel] Re: colored diffs [Was: [PATCH] parent selector 'p:xxx'],
Zack Weinberg <=
- Re: [Monotone-devel] Re: colored diffs [Was: [PATCH] parent selector 'p:xxx'], Derek Scherger, 2007/10/09
- Re: [Monotone-devel] Re: colored diffs, Tero Koskinen, 2007/10/11
Re: [Monotone-devel] [PATCH] parent selector 'p:xxx', Ralf S. Engelschall, 2007/10/06
Re: [Monotone-devel] [PATCH] parent selector 'p:xxx', Ludovic Brenta, 2007/10/06
Re: [Monotone-devel] [PATCH] parent selector 'p:xxx', Ralf S. Engelschall, 2007/10/10