mirror of
https://github.com/zulip/zulip.git
synced 2025-10-30 19:43:47 +00:00
39 lines
1.0 KiB
Python
Executable File
39 lines
1.0 KiB
Python
Executable File
#!/usr/bin/env python3
|
|
import json
|
|
import os
|
|
|
|
from pygments.lexers import get_all_lexers
|
|
|
|
ZULIP_PATH = os.path.join(os.path.dirname(os.path.abspath(__file__)), "../../")
|
|
# The current priorities data set is based on StackOverflow's 2020 survey.
|
|
DATA_PATH = os.path.join(ZULIP_PATH, "tools", "setup", "lang.json")
|
|
OUT_PATH = os.path.join(ZULIP_PATH, "web", "generated", "pygments_data.json")
|
|
|
|
with open(DATA_PATH) as f:
|
|
pygments_data = json.load(f)
|
|
priorities = dict(
|
|
**pygments_data["default"], **pygments_data["custom"], **pygments_data["aliases"]
|
|
)
|
|
|
|
lexers = get_all_lexers()
|
|
langs = {
|
|
alias: {
|
|
"priority": priorities.get(alias, 0),
|
|
"pretty_name": longname,
|
|
}
|
|
for longname, aliases, filename_patterns, mimetypes in lexers
|
|
for alias in aliases
|
|
}
|
|
|
|
langs |= {
|
|
name: {
|
|
"priority": priority,
|
|
"pretty_name": name,
|
|
}
|
|
for name, priority in priorities.items()
|
|
if name not in langs
|
|
}
|
|
|
|
with open(OUT_PATH, "w") as f:
|
|
json.dump({"langs": langs}, f)
|