From b2939ff966656507fec92c97d294c94a4dc9b36f Mon Sep 17 00:00:00 2001 From: Eric Wong Date: Tue, 8 Oct 2019 21:53:21 +0000 Subject: 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/ --- TODO | 3 +++ 1 file changed, 3 insertions(+) (limited to 'TODO') 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. -- cgit v1.2.3-24-ge0c7