about summary refs log tree commit homepage
path: root/TODO
diff options
authorEric Wong <e@80x24.org>2019-10-08 21:53:21 +0000
committerEric Wong <e@80x24.org>2019-10-15 07:32:41 +0000
commitb2939ff966656507fec92c97d294c94a4dc9b36f (patch)
tree9e65e20518ff88bb9ea5ee41ef399658d71d9b0b /TODO
parent2d135442a5759372761a992dafcf4e25974f3371 (diff)
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/
Diffstat (limited to 'TODO')
1 files changed, 3 insertions, 0 deletions
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.