From: Eric Wong <e@80x24.org>
Date: Tue, 8 Oct 2019 21:53:21 +0000 (+0000)
Subject: TODO: add an item for Python pygments
X-Git-Tag: v1.2.0~46
X-Git-Url: http://www.git.stargrave.org/?p=public-inbox.git;a=commitdiff_plain;h=b2939ff966656507fec92c97d294c94a4dc9b36f

TODO: add an item for Python pygments

Pygments seems to be a popular highlighter and widely available,
so we'll be providing support for that at some point...

Link: https://public-inbox.org/meta/20190926131836.GB10467@chatter.i7.local/
Link: https://public-inbox.org/meta/874l0zt7sd.fsf@alyssa.is/
---

diff --git a/TODO b/TODO
index c2eb77c5..5abef185 100644
--- a/TODO
+++ b/TODO
@@ -120,3 +120,6 @@ all need to be considered for everything we introduce)
 
 * linter option and WWW endpoint to graph relationships and flows
   between inboxes, addresses maildirs, coderepos, etc...
+
+* pygments support - via Python script similar to `git cat-file --batch'
+  to avoid startup penalty.  pygments.rb (Ruby) can be inspiration, too.