Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

build_pygments_data: Don’t recompute the name we already have. 

This speeds up build_pygments_data from 6 seconds to 0.5 seconds.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg 2020-11-16 12:48:44 -08:00 committed by Tim Abbott
parent e2e0f06b2a
commit 8115f8417b
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
tools/setup/build_pygments_data
View File

@ -2,7 +2,7 @@
import json
import os
from pygments.lexers import get_all_lexers, get_lexer_by_name
from pygments.lexers import get_all_lexers
ZULIP_PATH = os.path.join(os.path.dirname(os.path.abspath(__file__)), '../../')
DATA_PATH = os.path.join(ZULIP_PATH, 'tools', 'setup', 'lang.json')
@ -12,11 +12,11 @@ with open(DATA_PATH) as f:
langs = json.load(f)
lexers = get_all_lexers()
for lexer in lexers:
for name in lexer[1]:
langs[name] = {
'priority': langs.get(name, 0),
'pretty_name': get_lexer_by_name(name).name
for longname, aliases, filename_patterns, mimetypes in lexers:
for alias in aliases:
langs[alias] = {
'priority': langs.get(alias, 0),
'pretty_name': longname,
}
with open(OUT_PATH, 'w') as f: