[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 20:32:45 +0100 |
On 10/8/07, Lapo Luchini <address@hidden> wrote:
> We could, in fact, add a --color option to "mtn diff" itself...
[...]
> Also "mtn log" and "mtn status" would have a big benefit from colors, in
> fact. It could be nice to use them... should probably be off by default,
> but turnable on by default using an hook or something.
>
> Does anyone object if I implement that? ;-)
It's a good idea but you need to be careful how you implement it.
Hardwiring VT220 color control codes would be bad. So would making us
depend on ncurses.
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. You could also use
this to get at the line-drawing characters for
asciik...
zw
- Re: [Monotone-devel] [PATCH] parent selector 'p:xxx', (continued)
- [Monotone-devel] colored diffs [Was: [PATCH] parent selector 'p:xxx'], Lapo Luchini, 2007/10/08
- [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 <=
- 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, 2007/10/08
- 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