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

build_pygments_data: Build langs without incorrect mutation. 

The previous loop generated broken entries for duplicated language
aliases:

"juttle": {"priority": {"priority": 0, "pretty_name": "Juttle"}, "pretty_name": "Juttle"}

Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg 2020-11-16 18:09:13 -08:00
parent 13e35bfa94
commit af64c52166
2 changed files with 12 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
tools/setup/build_pygments_data
View File

@ -5,19 +5,21 @@ import os
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')
PRIORITIES_PATH = os.path.join(ZULIP_PATH, 'tools', 'setup', 'lang.json')
OUT_PATH = os.path.join(ZULIP_PATH, 'static', 'generated', 'pygments_data.json')
with open(DATA_PATH) as f:
langs = json.load(f)
with open(PRIORITIES_PATH) as f:
priorities = json.load(f)
lexers = get_all_lexers()
for longname, aliases, filename_patterns, mimetypes in lexers:
for alias in aliases:
langs[alias] = {
'priority': langs.get(alias, 0),
'pretty_name': longname,
}
langs = {
alias: {
'priority': priorities.get(alias, 0),
'pretty_name': longname,
}
for longname, aliases, filename_patterns, mimetypes in lexers
for alias in aliases
}
with open(OUT_PATH, 'w') as f:
json.dump({"langs": langs}, f)

2
version.py
View File

@ -43,4 +43,4 @@ API_FEATURE_LEVEL = 35
# historical commits sharing the same major version, in which case a
# minor version bump suffices.
PROVISION_VERSION = '115.1'
PROVISION_VERSION = '116.0'