[IPython-dev] Using pygments for coloring in IPython
gael.varoquaux at normalesup.org
Thu Jul 2 01:11:22 EDT 2009
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,
More information about the IPython-dev