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 c2eb77c50d580eb07ec4d409d3e3f0cc907884fe..5abef185e3f7a9a4fbd69fe91d9d9437ef189f9f 100644 (file)
--- 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...
 
 * 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.