diff options
author | Eric Wong <e@80x24.org> | 2019-10-08 21:53:21 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2019-10-15 07:32:41 +0000 |
commit | b2939ff966656507fec92c97d294c94a4dc9b36f (patch) | |
tree | 9e65e20518ff88bb9ea5ee41ef399658d71d9b0b /TODO | |
parent | 2d135442a5759372761a992dafcf4e25974f3371 (diff) | |
download | public-inbox-b2939ff966656507fec92c97d294c94a4dc9b36f.tar.gz |
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')
-rw-r--r-- | TODO | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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. |