2018-09-07 00:09:51 +02:00
|
|
|
import re
|
2020-10-20 02:49:02 +02:00
|
|
|
from typing import Any, Dict, List, Mapping, Optional
|
2018-09-07 00:09:51 +02:00
|
|
|
|
2020-06-11 00:54:34 +02:00
|
|
|
import markdown
|
2018-09-07 00:09:51 +02:00
|
|
|
from markdown.extensions import Extension
|
|
|
|
from markdown.preprocessors import Preprocessor
|
|
|
|
|
2022-06-26 02:35:20 +02:00
|
|
|
from zerver.lib.markdown.priorities import PREPROCESSOR_PRIORITES
|
2021-09-17 19:01:36 +02:00
|
|
|
|
2021-02-12 08:20:45 +01:00
|
|
|
START_TABBED_SECTION_REGEX = re.compile(r"^\{start_tabs\}$")
|
|
|
|
END_TABBED_SECTION_REGEX = re.compile(r"^\{end_tabs\}$")
|
|
|
|
TAB_CONTENT_REGEX = re.compile(r"^\{tab\|\s*(.+?)\s*\}$")
|
2018-09-07 00:09:51 +02:00
|
|
|
|
|
|
|
CODE_SECTION_TEMPLATE = """
|
2019-02-08 04:55:50 +01:00
|
|
|
<div class="code-section {tab_class}" markdown="1">
|
2018-09-07 00:09:51 +02:00
|
|
|
{nav_bar}
|
|
|
|
<div class="blocks">
|
|
|
|
{blocks}
|
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
""".strip()
|
|
|
|
|
|
|
|
NAV_BAR_TEMPLATE = """
|
|
|
|
<ul class="nav">
|
|
|
|
{tabs}
|
|
|
|
</ul>
|
|
|
|
""".strip()
|
|
|
|
|
|
|
|
NAV_LIST_ITEM_TEMPLATE = """
|
2021-09-27 23:15:24 +02:00
|
|
|
<li data-language="{data_language}" tabindex="0">{label}</li>
|
2018-09-07 00:09:51 +02:00
|
|
|
""".strip()
|
|
|
|
|
|
|
|
DIV_TAB_CONTENT_TEMPLATE = """
|
|
|
|
<div data-language="{data_language}" markdown="1">
|
|
|
|
{content}
|
|
|
|
</div>
|
|
|
|
""".strip()
|
|
|
|
|
2018-09-15 21:09:35 +02:00
|
|
|
# If adding new entries here, also check if you need to update
|
|
|
|
# tabbed-instructions.js
|
2021-10-01 23:16:47 +02:00
|
|
|
TAB_SECTION_LABELS = {
|
2021-02-12 08:20:45 +01:00
|
|
|
"desktop-web": "Desktop/Web",
|
|
|
|
"ios": "iOS",
|
|
|
|
"android": "Android",
|
|
|
|
"mac": "macOS",
|
|
|
|
"windows": "Windows",
|
|
|
|
"linux": "Linux",
|
|
|
|
"python": "Python",
|
|
|
|
"js": "JavaScript",
|
|
|
|
"curl": "curl",
|
|
|
|
"zulip-send": "zulip-send",
|
|
|
|
"web": "Web",
|
|
|
|
"desktop": "Desktop",
|
|
|
|
"mobile": "Mobile",
|
|
|
|
"mm-default": "Default installation",
|
|
|
|
"mm-docker": "Docker",
|
|
|
|
"mm-gitlab-omnibus": "GitLab Omnibus",
|
2021-09-22 10:09:30 +02:00
|
|
|
"require-invitations": "Require invitations",
|
2021-02-12 08:20:45 +01:00
|
|
|
"allow-anyone-to-join": "Allow anyone to join",
|
|
|
|
"restrict-by-email-domain": "Restrict by email domain",
|
|
|
|
"zoom": "Zoom",
|
|
|
|
"jitsi-meet": "Jitsi Meet",
|
2021-07-06 00:23:51 +02:00
|
|
|
"bigbluebutton": "BigBlueButton",
|
2021-02-12 08:20:45 +01:00
|
|
|
"disable": "Disabled",
|
|
|
|
"chrome": "Chrome",
|
|
|
|
"firefox": "Firefox",
|
|
|
|
"desktop-app": "Desktop app",
|
|
|
|
"system-proxy-settings": "System proxy settings",
|
|
|
|
"custom-proxy-settings": "Custom proxy settings",
|
2021-09-14 02:14:40 +02:00
|
|
|
"stream": "From a stream view",
|
|
|
|
"not-stream": "From other views",
|
|
|
|
"via-recent-topics": "Via recent topics",
|
|
|
|
"via-left-sidebar": "Via left sidebar",
|
2021-10-01 23:29:43 +02:00
|
|
|
"instructions-for-all-platforms": "Instructions for all platforms",
|
2021-10-07 00:21:56 +02:00
|
|
|
"public-streams": "Public streams",
|
|
|
|
"private-streams": "Private streams",
|
2022-03-22 18:06:25 +01:00
|
|
|
"web-public-streams": "Web-public streams",
|
2022-03-15 15:30:16 +01:00
|
|
|
"via-user-profile": "Via the user's profile",
|
|
|
|
"via-organization-settings": "Via organization settings",
|
2022-08-24 01:19:37 +02:00
|
|
|
"default-subdomain": "Default subdomain",
|
|
|
|
"custom-subdomain": "Custom subdomain",
|
|
|
|
"zulip-cloud": "Zulip Cloud",
|
|
|
|
"self-hosting": "Self hosting",
|
2018-09-07 00:09:51 +02:00
|
|
|
}
|
|
|
|
|
2021-02-12 08:19:30 +01:00
|
|
|
|
2018-09-07 00:09:51 +02:00
|
|
|
class TabbedSectionsGenerator(Extension):
|
2020-10-20 01:28:13 +02:00
|
|
|
def extendMarkdown(self, md: markdown.Markdown) -> None:
|
|
|
|
md.preprocessors.register(
|
2021-09-17 19:01:36 +02:00
|
|
|
TabbedSectionsPreprocessor(md, self.getConfigs()),
|
|
|
|
"tabbed_sections",
|
|
|
|
PREPROCESSOR_PRIORITES["tabbed_sections"],
|
2020-10-20 01:28:13 +02:00
|
|
|
)
|
2018-09-07 00:09:51 +02:00
|
|
|
|
2021-02-12 08:19:30 +01:00
|
|
|
|
2018-09-07 00:09:51 +02:00
|
|
|
class TabbedSectionsPreprocessor(Preprocessor):
|
2020-10-20 02:49:02 +02:00
|
|
|
def __init__(self, md: markdown.Markdown, config: Mapping[str, Any]) -> None:
|
2020-04-09 21:51:58 +02:00
|
|
|
super().__init__(md)
|
2018-09-07 00:09:51 +02:00
|
|
|
|
|
|
|
def run(self, lines: List[str]) -> List[str]:
|
|
|
|
tab_section = self.parse_tabs(lines)
|
|
|
|
while tab_section:
|
2021-02-12 08:20:45 +01:00
|
|
|
if "tabs" in tab_section:
|
|
|
|
tab_class = "has-tabs"
|
2019-02-08 04:55:50 +01:00
|
|
|
else:
|
2021-02-12 08:20:45 +01:00
|
|
|
tab_class = "no-tabs"
|
|
|
|
tab_section["tabs"] = [
|
2021-10-01 23:29:43 +02:00
|
|
|
{
|
|
|
|
"tab_name": "instructions-for-all-platforms",
|
|
|
|
"start": tab_section["start_tabs_index"],
|
|
|
|
}
|
2021-02-12 08:19:30 +01:00
|
|
|
]
|
2018-09-07 00:09:51 +02:00
|
|
|
nav_bar = self.generate_nav_bar(tab_section)
|
|
|
|
content_blocks = self.generate_content_blocks(tab_section, lines)
|
|
|
|
rendered_tabs = CODE_SECTION_TEMPLATE.format(
|
2021-02-12 08:19:30 +01:00
|
|
|
tab_class=tab_class, nav_bar=nav_bar, blocks=content_blocks
|
|
|
|
)
|
2018-09-07 00:09:51 +02:00
|
|
|
|
2021-02-12 08:20:45 +01:00
|
|
|
start = tab_section["start_tabs_index"]
|
|
|
|
end = tab_section["end_tabs_index"] + 1
|
2020-09-02 06:59:07 +02:00
|
|
|
lines = [*lines[:start], rendered_tabs, *lines[end:]]
|
2018-09-07 00:09:51 +02:00
|
|
|
tab_section = self.parse_tabs(lines)
|
|
|
|
return lines
|
|
|
|
|
|
|
|
def generate_content_blocks(self, tab_section: Dict[str, Any], lines: List[str]) -> str:
|
|
|
|
tab_content_blocks = []
|
2021-02-12 08:20:45 +01:00
|
|
|
for index, tab in enumerate(tab_section["tabs"]):
|
|
|
|
start_index = tab["start"] + 1
|
2018-09-07 00:09:51 +02:00
|
|
|
try:
|
|
|
|
# If there are more tabs, we can use the starting index
|
|
|
|
# of the next tab as the ending index of the previous one
|
2021-02-12 08:20:45 +01:00
|
|
|
end_index = tab_section["tabs"][index + 1]["start"]
|
2018-09-07 00:09:51 +02:00
|
|
|
except IndexError:
|
|
|
|
# Otherwise, just use the end of the entire section
|
2021-02-12 08:20:45 +01:00
|
|
|
end_index = tab_section["end_tabs_index"]
|
2018-09-07 00:09:51 +02:00
|
|
|
|
2021-02-12 08:20:45 +01:00
|
|
|
content = "\n".join(lines[start_index:end_index]).strip()
|
2018-09-07 00:09:51 +02:00
|
|
|
tab_content_block = DIV_TAB_CONTENT_TEMPLATE.format(
|
2021-02-12 08:20:45 +01:00
|
|
|
data_language=tab["tab_name"],
|
2018-09-07 00:09:51 +02:00
|
|
|
# Wrapping the content in two newlines is necessary here.
|
|
|
|
# If we don't do this, the inner Markdown does not get
|
|
|
|
# rendered properly.
|
2021-02-12 08:20:45 +01:00
|
|
|
content=f"\n{content}\n",
|
2021-02-12 08:19:30 +01:00
|
|
|
)
|
2018-09-07 00:09:51 +02:00
|
|
|
tab_content_blocks.append(tab_content_block)
|
2021-02-12 08:20:45 +01:00
|
|
|
return "\n".join(tab_content_blocks)
|
2018-09-07 00:09:51 +02:00
|
|
|
|
|
|
|
def generate_nav_bar(self, tab_section: Dict[str, Any]) -> str:
|
|
|
|
li_elements = []
|
2021-02-12 08:20:45 +01:00
|
|
|
for tab in tab_section["tabs"]:
|
2021-09-27 23:15:24 +02:00
|
|
|
tab_name = tab.get("tab_name")
|
|
|
|
tab_label = TAB_SECTION_LABELS.get(tab_name)
|
|
|
|
if tab_label is None:
|
|
|
|
raise ValueError(
|
|
|
|
f"Tab '{tab_name}' is not present in TAB_SECTION_LABELS in zerver/lib/markdown/tabbed_sections.py"
|
|
|
|
)
|
|
|
|
|
|
|
|
li = NAV_LIST_ITEM_TEMPLATE.format(data_language=tab_name, label=tab_label)
|
2018-09-07 00:09:51 +02:00
|
|
|
li_elements.append(li)
|
2021-09-27 23:15:24 +02:00
|
|
|
|
2021-02-12 08:20:45 +01:00
|
|
|
return NAV_BAR_TEMPLATE.format(tabs="\n".join(li_elements))
|
2018-09-07 00:09:51 +02:00
|
|
|
|
|
|
|
def parse_tabs(self, lines: List[str]) -> Optional[Dict[str, Any]]:
|
python: Convert assignment type annotations to Python 3.6 style.
This commit was split by tabbott; this piece covers the vast majority
of files in Zulip, but excludes scripts/, tools/, and puppet/ to help
ensure we at least show the right error messages for Xenial systems.
We can likely further refine the remaining pieces with some testing.
Generated by com2ann, with whitespace fixes and various manual fixes
for runtime issues:
- invoiced_through: Optional[LicenseLedger] = models.ForeignKey(
+ invoiced_through: Optional["LicenseLedger"] = models.ForeignKey(
-_apns_client: Optional[APNsClient] = None
+_apns_client: Optional["APNsClient"] = None
- notifications_stream: Optional[Stream] = models.ForeignKey('Stream', related_name='+', null=True, blank=True, on_delete=CASCADE)
- signup_notifications_stream: Optional[Stream] = models.ForeignKey('Stream', related_name='+', null=True, blank=True, on_delete=CASCADE)
+ notifications_stream: Optional["Stream"] = models.ForeignKey('Stream', related_name='+', null=True, blank=True, on_delete=CASCADE)
+ signup_notifications_stream: Optional["Stream"] = models.ForeignKey('Stream', related_name='+', null=True, blank=True, on_delete=CASCADE)
- author: Optional[UserProfile] = models.ForeignKey('UserProfile', blank=True, null=True, on_delete=CASCADE)
+ author: Optional["UserProfile"] = models.ForeignKey('UserProfile', blank=True, null=True, on_delete=CASCADE)
- bot_owner: Optional[UserProfile] = models.ForeignKey('self', null=True, on_delete=models.SET_NULL)
+ bot_owner: Optional["UserProfile"] = models.ForeignKey('self', null=True, on_delete=models.SET_NULL)
- default_sending_stream: Optional[Stream] = models.ForeignKey('zerver.Stream', null=True, related_name='+', on_delete=CASCADE)
- default_events_register_stream: Optional[Stream] = models.ForeignKey('zerver.Stream', null=True, related_name='+', on_delete=CASCADE)
+ default_sending_stream: Optional["Stream"] = models.ForeignKey('zerver.Stream', null=True, related_name='+', on_delete=CASCADE)
+ default_events_register_stream: Optional["Stream"] = models.ForeignKey('zerver.Stream', null=True, related_name='+', on_delete=CASCADE)
-descriptors_by_handler_id: Dict[int, ClientDescriptor] = {}
+descriptors_by_handler_id: Dict[int, "ClientDescriptor"] = {}
-worker_classes: Dict[str, Type[QueueProcessingWorker]] = {}
-queues: Dict[str, Dict[str, Type[QueueProcessingWorker]]] = {}
+worker_classes: Dict[str, Type["QueueProcessingWorker"]] = {}
+queues: Dict[str, Dict[str, Type["QueueProcessingWorker"]]] = {}
-AUTH_LDAP_REVERSE_EMAIL_SEARCH: Optional[LDAPSearch] = None
+AUTH_LDAP_REVERSE_EMAIL_SEARCH: Optional["LDAPSearch"] = None
Signed-off-by: Anders Kaseorg <anders@zulipchat.com>
2020-04-22 01:09:50 +02:00
|
|
|
block: Dict[str, Any] = {}
|
2018-09-07 00:09:51 +02:00
|
|
|
for index, line in enumerate(lines):
|
|
|
|
start_match = START_TABBED_SECTION_REGEX.search(line)
|
|
|
|
if start_match:
|
2021-02-12 08:20:45 +01:00
|
|
|
block["start_tabs_index"] = index
|
2018-09-07 00:09:51 +02:00
|
|
|
|
|
|
|
tab_content_match = TAB_CONTENT_REGEX.search(line)
|
|
|
|
if tab_content_match:
|
2021-02-12 08:20:45 +01:00
|
|
|
block.setdefault("tabs", [])
|
|
|
|
tab = {"start": index, "tab_name": tab_content_match.group(1)}
|
|
|
|
block["tabs"].append(tab)
|
2018-09-07 00:09:51 +02:00
|
|
|
|
|
|
|
end_match = END_TABBED_SECTION_REGEX.search(line)
|
|
|
|
if end_match:
|
2021-02-12 08:20:45 +01:00
|
|
|
block["end_tabs_index"] = index
|
2018-09-07 00:09:51 +02:00
|
|
|
break
|
|
|
|
return block
|
|
|
|
|
2021-02-12 08:19:30 +01:00
|
|
|
|
2018-09-07 00:09:51 +02:00
|
|
|
def makeExtension(*args: Any, **kwargs: str) -> TabbedSectionsGenerator:
|
2018-12-20 08:28:40 +01:00
|
|
|
return TabbedSectionsGenerator(**kwargs)
|