Re: [PATCH 4 of 4] cli: front-end-build: generate pygments.css dynamically

2018-11-26 Thread Mads Kiilerich
On 11/26/2018 09:39 PM, Thomas De Schampheleire wrote: El dom., 25 nov. 2018 a las 3:47, Mads Kiilerich () escribió: On 11/22/2018 10:36 PM, Thomas De Schampheleire wrote: diff --git a/kallithea/bin/kallithea_cli_front_end.py b/kallithea/bin/kallithea_cli_front_end.py ---

Re: [PATCH 4 of 4] cli: front-end-build: generate pygments.css dynamically

2018-11-26 Thread Thomas De Schampheleire
El dom., 25 nov. 2018 a las 3:47, Mads Kiilerich () escribió: > > On 11/22/2018 10:36 PM, Thomas De Schampheleire wrote: > > diff --git a/kallithea/bin/kallithea_cli_front_end.py > > b/kallithea/bin/kallithea_cli_front_end.py > > --- a/kallithea/bin/kallithea_cli_front_end.py > > +++

Re: [PATCH 4 of 4] cli: front-end-build: generate pygments.css dynamically

2018-11-24 Thread Mads Kiilerich
On 11/22/2018 10:36 PM, Thomas De Schampheleire wrote: diff --git a/kallithea/bin/kallithea_cli_front_end.py b/kallithea/bin/kallithea_cli_front_end.py --- a/kallithea/bin/kallithea_cli_front_end.py +++ b/kallithea/bin/kallithea_cli_front_end.py @@ -48,3 +48,9 @@ def

[PATCH 4 of 4] cli: front-end-build: generate pygments.css dynamically

2018-11-22 Thread Thomas De Schampheleire
# HG changeset patch # User Thomas De Schampheleire # Date 1537041136 -7200 # Sat Sep 15 21:52:16 2018 +0200 # Node ID 8c96d6beee303e0caaabd45ae807f18f53f6df14 # Parent dbf669cf398782dc1739686437fba01b536e874c cli: front-end-build: generate pygments.css dynamically Rather than having