[IPython-dev] Using pygments for coloring in IPython

[Gael Varoquaux]

On Wed, Jul 01, 2009 at 10:09:55PM -0700, Brian Granger wrote:
>      Sounds great. As long as we have a nice fallback if pygment is not
>      installed/non functional.

>    I think the there are a couple of fallbacks:

>    * Just no coloring - everything works, but you get uncolored text.
>    * Any frontend can do its own coloring if it wants.

>    What I wouldn't want to do is still maintain our own coloring code because
>    (in my mind) the goal of this transition is to get away from that.  If we
>    really wanted to make sure that coloring always worked, we could just ship
>    pygments in IPython.external
>     
>    Would this satisfy you?

Any of the above would. I trust you fully to do the right choices,

Gaël