2020-10-10 08:03:59 +03:00
|
|
|
#!/usr/bin/env python3
|
2022-07-10 04:59:44 +03:00
|
|
|
import base64
|
2020-10-10 08:03:59 +03:00
|
|
|
import glob
|
2022-07-10 04:59:44 +03:00
|
|
|
import json
|
|
|
|
import os
|
2020-10-10 08:03:59 +03:00
|
|
|
import re
|
2020-10-20 10:40:25 +03:00
|
|
|
import subprocess
|
2022-07-10 04:59:44 +03:00
|
|
|
import sys
|
2020-10-10 08:03:59 +03:00
|
|
|
|
|
|
|
|
|
|
|
class Page(object):
|
|
|
|
def __init__(self, title, filename, children=None):
|
|
|
|
self.title = title
|
|
|
|
self.filename = filename
|
|
|
|
self.children = children or []
|
|
|
|
|
|
|
|
def render(self, output, depth=0):
|
|
|
|
indent = " " * depth
|
|
|
|
bullet = "- " if depth > 0 else ""
|
|
|
|
output.write(f"{indent}{bullet}[{self.title}]({self.filename})\n")
|
|
|
|
for kid in self.children:
|
|
|
|
kid.render(output, depth + 1)
|
|
|
|
|
|
|
|
|
|
|
|
# autogenerate an index page from the contents of a directory
|
|
|
|
class Gen(object):
|
2023-01-23 09:33:24 +03:00
|
|
|
def __init__(self, title, dirname, index=None, extract_title=False):
|
2020-10-10 08:03:59 +03:00
|
|
|
self.title = title
|
|
|
|
self.dirname = dirname
|
2020-10-10 18:00:08 +03:00
|
|
|
self.index = index
|
2023-01-23 09:33:24 +03:00
|
|
|
self.extract_title = extract_title
|
2020-10-10 08:03:59 +03:00
|
|
|
|
|
|
|
def render(self, output, depth=0):
|
|
|
|
print(self.dirname)
|
|
|
|
names = sorted(glob.glob(f"{self.dirname}/*.md"))
|
|
|
|
children = []
|
|
|
|
for filename in names:
|
|
|
|
title = os.path.basename(filename).rsplit(".", 1)[0]
|
|
|
|
if title == "index":
|
|
|
|
continue
|
2023-01-23 09:33:24 +03:00
|
|
|
|
|
|
|
if self.extract_title:
|
|
|
|
with open(filename, "r") as f:
|
|
|
|
title = f.readline().strip('#').strip()
|
|
|
|
|
2020-10-10 08:03:59 +03:00
|
|
|
children.append(Page(title, filename))
|
|
|
|
|
|
|
|
index_filename = f"{self.dirname}/index.md"
|
|
|
|
index_page = Page(self.title, index_filename, children=children)
|
|
|
|
index_page.render(output, depth)
|
|
|
|
with open(f"{self.dirname}/index.md", "w") as idx:
|
2020-10-10 18:00:08 +03:00
|
|
|
if self.index:
|
|
|
|
idx.write(self.index)
|
|
|
|
idx.write("\n\n")
|
2022-06-16 17:51:46 +03:00
|
|
|
else:
|
|
|
|
try:
|
|
|
|
with open(f"{self.dirname}/index.markdown", "r") as f:
|
|
|
|
idx.write(f.read())
|
|
|
|
idx.write("\n\n")
|
|
|
|
except FileNotFoundError:
|
|
|
|
pass
|
2020-10-10 08:03:59 +03:00
|
|
|
for page in children:
|
2023-01-23 09:33:24 +03:00
|
|
|
idx.write(f" - [{page.title}]({os.path.basename(page.filename)})\n")
|
2020-10-10 08:03:59 +03:00
|
|
|
|
2020-10-20 10:55:35 +03:00
|
|
|
|
2022-07-10 23:26:33 +03:00
|
|
|
def load_scheme(scheme):
|
|
|
|
ident = re.sub(
|
|
|
|
"[^a-z0-9_]", "_", scheme["metadata"]["name"].lower().replace("+", "plus")
|
|
|
|
)
|
2022-07-10 04:59:44 +03:00
|
|
|
|
2022-07-10 23:26:33 +03:00
|
|
|
colors = scheme["colors"]["ansi"] + scheme["colors"]["brights"]
|
2022-07-10 04:59:44 +03:00
|
|
|
|
2022-07-10 23:26:33 +03:00
|
|
|
data = {
|
|
|
|
"name": scheme["metadata"]["name"],
|
|
|
|
"prefix": scheme["metadata"]["prefix"],
|
2022-07-10 04:59:44 +03:00
|
|
|
"ident": ident,
|
2022-07-10 23:26:33 +03:00
|
|
|
"fg": scheme["colors"]["foreground"],
|
|
|
|
"bg": scheme["colors"]["background"],
|
|
|
|
"metadata": scheme["metadata"],
|
2022-07-10 04:59:44 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
# <https://github.com/asciinema/asciinema-player/wiki/Custom-terminal-themes>
|
|
|
|
css = f"""
|
|
|
|
.asciinema-theme-{ident} .asciinema-terminal {{
|
2022-07-10 23:26:33 +03:00
|
|
|
color: {data["fg"]};
|
|
|
|
background-color: {data["bg"]};
|
|
|
|
border-color: {data["bg"]};
|
2022-07-10 04:59:44 +03:00
|
|
|
}}
|
|
|
|
|
|
|
|
.asciinema-theme-{ident} .fg-bg {{
|
2022-07-10 23:26:33 +03:00
|
|
|
color: {data["bg"]};
|
2022-07-10 04:59:44 +03:00
|
|
|
}}
|
|
|
|
|
|
|
|
.asciinema-theme-{ident} .bg-fg {{
|
2022-07-10 23:26:33 +03:00
|
|
|
background-color: {data["fg"]};
|
2022-07-10 04:59:44 +03:00
|
|
|
}}
|
2022-07-11 00:33:31 +03:00
|
|
|
"""
|
|
|
|
|
|
|
|
if "cursor_border" in scheme["colors"]:
|
|
|
|
data["cursor"] = scheme["colors"]["cursor_border"]
|
2022-07-10 04:59:44 +03:00
|
|
|
|
2022-07-11 00:33:31 +03:00
|
|
|
css += f"""
|
2022-07-10 04:59:44 +03:00
|
|
|
.asciinema-theme-{ident} .cursor-b {{
|
2022-07-10 23:26:33 +03:00
|
|
|
background-color: {data["cursor"]} !important;
|
2022-07-10 04:59:44 +03:00
|
|
|
}}
|
2022-07-10 23:26:33 +03:00
|
|
|
"""
|
2022-07-10 04:59:44 +03:00
|
|
|
|
2022-07-10 23:26:33 +03:00
|
|
|
if "selection_fg" in scheme["colors"] and "selection_bg" in scheme["colors"]:
|
|
|
|
selection_bg = scheme["colors"]["selection_bg"]
|
|
|
|
selection_fg = scheme["colors"]["selection_fg"]
|
|
|
|
|
|
|
|
css += f"""
|
2022-07-10 04:59:44 +03:00
|
|
|
.asciinema-theme-{ident} .asciinema-terminal ::selection {{
|
|
|
|
color: {selection_fg};
|
|
|
|
background-color: {selection_bg};
|
|
|
|
}}
|
|
|
|
"""
|
|
|
|
|
|
|
|
for idx, color in enumerate(colors):
|
|
|
|
css += f"""
|
|
|
|
.asciinema-theme-{ident} .fg-{idx} {{
|
|
|
|
color: {color};
|
|
|
|
}}
|
|
|
|
.asciinema-theme-{ident} .bg-{idx} {{
|
|
|
|
background-color: {color};
|
|
|
|
}}
|
|
|
|
"""
|
|
|
|
|
2022-07-10 23:26:33 +03:00
|
|
|
data["css"] = css
|
|
|
|
return data
|
2022-07-10 04:59:44 +03:00
|
|
|
|
|
|
|
|
|
|
|
def screen_shot_table(scheme):
|
|
|
|
T = "gYw"
|
|
|
|
lines = [
|
|
|
|
scheme["name"],
|
|
|
|
"",
|
|
|
|
" def 40m 41m 42m 43m 44m 45m 46m 47m",
|
|
|
|
]
|
|
|
|
for fg_space in [
|
|
|
|
" m",
|
|
|
|
" 1m",
|
|
|
|
" 30m",
|
|
|
|
"1;30m",
|
|
|
|
" 31m",
|
|
|
|
"1;31m",
|
|
|
|
" 32m",
|
|
|
|
"1;32m",
|
|
|
|
" 33m",
|
|
|
|
"1;33m",
|
|
|
|
" 34m",
|
|
|
|
"1;34m",
|
|
|
|
" 35m",
|
|
|
|
"1;35m",
|
|
|
|
" 36m",
|
|
|
|
"1;36m",
|
|
|
|
" 37m",
|
|
|
|
"1;37m",
|
|
|
|
]:
|
|
|
|
fg = fg_space.strip()
|
|
|
|
line = f" {fg_space} \033[{fg} {T} "
|
|
|
|
|
|
|
|
for bg in ["40m", "41m", "42m", "43m", "44m", "45m", "46m", "47m"]:
|
|
|
|
line += f" \033[{fg}\033[{bg} {T} \033[0m"
|
|
|
|
lines.append(line)
|
|
|
|
|
|
|
|
lines.append("")
|
|
|
|
lines.append("")
|
|
|
|
|
|
|
|
screen = "\r\n".join(lines)
|
|
|
|
|
|
|
|
header = {
|
|
|
|
"version": 2,
|
|
|
|
"width": 80,
|
|
|
|
"height": 24,
|
|
|
|
"title": scheme["name"],
|
|
|
|
}
|
|
|
|
header = json.dumps(header, sort_keys=True)
|
|
|
|
data = json.dumps([0.0, "o", screen])
|
|
|
|
|
|
|
|
return base64.b64encode(f"{header}\n{data}\n".encode("UTF-8")).decode("UTF-8")
|
|
|
|
|
|
|
|
|
2020-10-20 10:40:25 +03:00
|
|
|
class GenColorScheme(object):
|
|
|
|
def __init__(self, title, dirname, index=None):
|
|
|
|
self.title = title
|
|
|
|
self.dirname = dirname
|
|
|
|
self.index = index
|
|
|
|
|
|
|
|
def render(self, output, depth=0):
|
2022-07-10 23:26:33 +03:00
|
|
|
with open("colorschemes/data.json") as f:
|
|
|
|
scheme_data = json.load(f)
|
2022-07-10 04:59:44 +03:00
|
|
|
by_prefix = {}
|
2022-07-20 17:32:46 +03:00
|
|
|
by_name = {}
|
2022-07-10 23:26:33 +03:00
|
|
|
for scheme in scheme_data:
|
|
|
|
scheme = load_scheme(scheme)
|
|
|
|
prefix = scheme["prefix"]
|
2022-07-10 04:59:44 +03:00
|
|
|
if prefix not in by_prefix:
|
|
|
|
by_prefix[prefix] = []
|
|
|
|
by_prefix[prefix].append(scheme)
|
2022-07-20 17:32:46 +03:00
|
|
|
by_name[scheme["name"]] = scheme
|
|
|
|
|
|
|
|
def scheme_link(name):
|
|
|
|
if name in by_name:
|
|
|
|
scheme = by_name[name]
|
|
|
|
prefix = scheme["prefix"]
|
|
|
|
ident = scheme["ident"]
|
|
|
|
return f"../{prefix}/index.md#{ident}"
|
|
|
|
else:
|
|
|
|
return None
|
2020-10-20 10:40:25 +03:00
|
|
|
|
2022-07-10 04:59:44 +03:00
|
|
|
children = []
|
|
|
|
for scheme_prefix in sorted(by_prefix.keys()):
|
|
|
|
scheme_filename = f"{self.dirname}/{scheme_prefix}/index.md"
|
2022-07-10 09:07:31 +03:00
|
|
|
os.makedirs(os.path.dirname(scheme_filename), exist_ok=True)
|
2022-07-10 04:59:44 +03:00
|
|
|
children.append(Page(scheme_prefix, scheme_filename))
|
2020-10-20 10:40:25 +03:00
|
|
|
|
|
|
|
with open(scheme_filename, "w") as idx:
|
2022-07-10 04:59:44 +03:00
|
|
|
|
|
|
|
for scheme in by_prefix[scheme_prefix]:
|
|
|
|
title = scheme["name"]
|
2020-10-20 10:40:25 +03:00
|
|
|
idx.write(f"# {title}\n")
|
2022-07-10 04:59:44 +03:00
|
|
|
|
|
|
|
data = screen_shot_table(scheme)
|
|
|
|
ident = scheme["ident"]
|
|
|
|
|
|
|
|
idx.write(
|
|
|
|
f"""
|
2022-07-10 08:59:15 +03:00
|
|
|
<div id="{ident}-player"></div>
|
2022-07-10 04:59:44 +03:00
|
|
|
|
|
|
|
<style>
|
|
|
|
{scheme["css"]}
|
|
|
|
</style>
|
|
|
|
|
|
|
|
<script>
|
|
|
|
window.addEventListener('load', function () {{
|
|
|
|
AsciinemaPlayer.create(
|
|
|
|
'data:text/plain;base64,{data}',
|
2022-07-10 08:59:15 +03:00
|
|
|
document.getElementById('{ident}-player'), {{
|
2022-07-10 04:59:44 +03:00
|
|
|
theme: "{ident}",
|
|
|
|
autoPlay: true,
|
|
|
|
}});
|
|
|
|
}});
|
|
|
|
|
|
|
|
</script>
|
|
|
|
"""
|
|
|
|
)
|
|
|
|
|
2022-07-12 21:51:19 +03:00
|
|
|
author = scheme["metadata"].get("author", None)
|
|
|
|
if author:
|
|
|
|
idx.write(f"Author: `{author}`<br/>\n")
|
|
|
|
origin_url = scheme["metadata"].get("origin_url", None)
|
|
|
|
if origin_url:
|
|
|
|
idx.write(f"Source: <{origin_url}><br/>\n")
|
2022-07-14 18:45:29 +03:00
|
|
|
version = scheme["metadata"].get("wezterm_version", None)
|
|
|
|
if version and version != "Always":
|
|
|
|
idx.write(f"Since: *{version}*<br/>\n")
|
2022-07-12 21:51:19 +03:00
|
|
|
|
2022-07-20 17:32:46 +03:00
|
|
|
aliases = scheme["metadata"]["aliases"]
|
|
|
|
if len(aliases) > 1:
|
|
|
|
canon_name = aliases[0]
|
|
|
|
am_canon = title == canon_name
|
|
|
|
if am_canon:
|
|
|
|
alias_list = []
|
|
|
|
for a in aliases[1:]:
|
|
|
|
alias_link = scheme_link(a)
|
|
|
|
if alias_link:
|
|
|
|
alias_list.append(f"[{a}]({alias_link})")
|
|
|
|
else:
|
|
|
|
alias_list.append(f"`{a}` (but that name isn't used here)")
|
|
|
|
aliases = ', '.join(alias_list)
|
|
|
|
idx.write(f"This scheme is also known as {aliases}.<br/>\n")
|
|
|
|
else:
|
|
|
|
canon_link = scheme_link(canon_name)
|
|
|
|
idx.write(f"This scheme is the same as [{canon_name}]({canon_link}).<br/>\n")
|
|
|
|
|
|
|
|
|
2022-07-12 21:51:19 +03:00
|
|
|
idx.write("\nTo use this scheme, add this to your config:\n")
|
2020-10-20 10:55:35 +03:00
|
|
|
idx.write(
|
|
|
|
f"""
|
2020-10-20 10:40:25 +03:00
|
|
|
```lua
|
|
|
|
return {{
|
|
|
|
color_scheme = "{title}",
|
|
|
|
}}
|
|
|
|
```
|
|
|
|
|
2020-10-20 10:55:35 +03:00
|
|
|
"""
|
|
|
|
)
|
2020-10-20 10:40:25 +03:00
|
|
|
|
|
|
|
index_filename = f"{self.dirname}/index.md"
|
|
|
|
index_page = Page(self.title, index_filename, children=children)
|
|
|
|
index_page.render(output, depth)
|
|
|
|
|
|
|
|
with open(f"{self.dirname}/index.md", "w") as idx:
|
2022-07-10 23:26:33 +03:00
|
|
|
idx.write(f"{len(scheme_data)} Color schemes listed by first letter\n\n")
|
2020-10-20 10:40:25 +03:00
|
|
|
for page in children:
|
|
|
|
upper = page.title.upper()
|
2020-10-20 10:52:42 +03:00
|
|
|
idx.write(f" - [{upper}]({page.title}/index.md)\n")
|
2020-10-10 08:03:59 +03:00
|
|
|
|
2020-10-20 10:55:35 +03:00
|
|
|
|
2020-10-10 08:03:59 +03:00
|
|
|
TOC = [
|
|
|
|
Page(
|
|
|
|
"wezterm",
|
2021-01-31 01:14:29 +03:00
|
|
|
"index.md",
|
2020-10-10 08:03:59 +03:00
|
|
|
children=[
|
|
|
|
Page(
|
|
|
|
"Install",
|
|
|
|
"installation.md",
|
|
|
|
children=[
|
|
|
|
Page("Windows", "install/windows.md"),
|
|
|
|
Page("macOS", "install/macos.md"),
|
|
|
|
Page("Linux", "install/linux.md"),
|
2021-03-03 19:45:58 +03:00
|
|
|
Page("FreeBSD", "install/freebsd.md"),
|
2020-10-10 08:03:59 +03:00
|
|
|
Page("Build from source", "install/source.md"),
|
|
|
|
],
|
|
|
|
),
|
2021-01-31 01:14:29 +03:00
|
|
|
Page("Features", "features.md"),
|
|
|
|
Page("Change Log", "changelog.md"),
|
2020-10-10 08:03:59 +03:00
|
|
|
Page(
|
|
|
|
"Configuration",
|
2021-01-31 01:14:29 +03:00
|
|
|
"config/files.md",
|
2020-10-10 08:03:59 +03:00
|
|
|
children=[
|
2021-01-31 01:14:29 +03:00
|
|
|
Page("Launching Programs", "config/launch.md"),
|
|
|
|
Page("Fonts", "config/fonts.md"),
|
|
|
|
Page("Font Shaping", "config/font-shaping.md"),
|
2022-04-04 19:28:26 +03:00
|
|
|
Page("Keyboard Concepts", "config/keyboard-concepts.md"),
|
2021-02-20 19:38:46 +03:00
|
|
|
Page("Key Binding", "config/keys.md"),
|
2022-04-04 19:28:26 +03:00
|
|
|
Page("Key Tables", "config/key-tables.md"),
|
|
|
|
Page("Default Key Assignments", "config/default-keys.md"),
|
2022-06-21 19:35:01 +03:00
|
|
|
Page("Keyboard Encoding", "config/key-encoding.md"),
|
2021-02-20 19:38:46 +03:00
|
|
|
Page("Mouse Binding", "config/mouse.md"),
|
2021-01-31 01:14:29 +03:00
|
|
|
Page("Colors & Appearance", "config/appearance.md"),
|
2022-01-09 20:13:07 +03:00
|
|
|
GenColorScheme("Color Schemes", "colorschemes"),
|
2020-10-10 08:03:59 +03:00
|
|
|
],
|
|
|
|
),
|
2023-01-19 20:44:05 +03:00
|
|
|
Page("Troubleshooting", "troubleshooting.md"),
|
2023-01-23 09:33:24 +03:00
|
|
|
Gen("Recipes", "recipes", extract_title=True),
|
2021-01-31 01:14:29 +03:00
|
|
|
Page("Scrollback", "scrollback.md"),
|
2021-04-26 02:27:39 +03:00
|
|
|
Page("Quick Select Mode", "quickselect.md"),
|
2021-01-31 01:14:29 +03:00
|
|
|
Page("Copy Mode", "copymode.md"),
|
|
|
|
Page("Hyperlinks", "hyperlinks.md"),
|
|
|
|
Page("Shell Integration", "shell-integration.md"),
|
|
|
|
Page("iTerm Image Protocol", "imgcat.md"),
|
|
|
|
Page("SSH", "ssh.md"),
|
|
|
|
Page("Serial Ports & Arduino", "serial.md"),
|
2021-03-31 23:03:00 +03:00
|
|
|
Page("Multiplexing", "multiplexing.md"),
|
2021-01-31 01:14:29 +03:00
|
|
|
Page("Escape Sequences", "escape-sequences.md"),
|
|
|
|
Page("F.A.Q.", "faq.md"),
|
|
|
|
Page("Getting Help", "help.md"),
|
|
|
|
Page("Contributing", "contributing.md"),
|
2023-01-25 21:23:51 +03:00
|
|
|
Page("What is a Terminal?", "what-is-a-terminal.md"),
|
2022-06-24 20:41:21 +03:00
|
|
|
Page(
|
|
|
|
"CLI Reference",
|
|
|
|
"cli/general.md",
|
|
|
|
children=[
|
|
|
|
Gen("cli", "cli/cli"),
|
|
|
|
Page("show-keys", "cli/show-keys.md"),
|
|
|
|
],
|
|
|
|
),
|
2020-10-10 18:00:08 +03:00
|
|
|
Page(
|
|
|
|
"Lua Reference",
|
|
|
|
"config/lua/general.md",
|
|
|
|
children=[
|
2020-10-10 18:40:14 +03:00
|
|
|
Gen(
|
|
|
|
"module: wezterm",
|
|
|
|
"config/lua/wezterm",
|
2021-01-19 04:31:39 +03:00
|
|
|
),
|
2022-07-11 09:41:18 +03:00
|
|
|
Gen(
|
|
|
|
"module: wezterm.color",
|
|
|
|
"config/lua/wezterm.color",
|
|
|
|
),
|
2022-07-07 02:33:47 +03:00
|
|
|
Gen(
|
|
|
|
"module: wezterm.gui",
|
|
|
|
"config/lua/wezterm.gui",
|
|
|
|
),
|
2022-06-18 02:57:52 +03:00
|
|
|
Gen(
|
|
|
|
"module: wezterm.mux",
|
|
|
|
"config/lua/wezterm.mux",
|
|
|
|
),
|
2022-07-16 18:49:58 +03:00
|
|
|
Gen(
|
|
|
|
"module: wezterm.procinfo",
|
|
|
|
"config/lua/wezterm.procinfo",
|
|
|
|
),
|
2022-07-17 21:38:02 +03:00
|
|
|
Gen(
|
|
|
|
"module: wezterm.time",
|
|
|
|
"config/lua/wezterm.time",
|
|
|
|
),
|
2021-01-19 04:31:39 +03:00
|
|
|
Gen(
|
|
|
|
"struct: Config",
|
|
|
|
"config/lua/config",
|
2020-10-10 18:40:14 +03:00
|
|
|
),
|
|
|
|
Gen(
|
|
|
|
"enum: KeyAssignment",
|
|
|
|
"config/lua/keyassignment",
|
|
|
|
),
|
2022-08-21 21:01:58 +03:00
|
|
|
Gen(
|
|
|
|
"enum: CopyModeAssignment",
|
|
|
|
"config/lua/keyassignment/CopyMode",
|
|
|
|
),
|
2022-07-12 17:38:39 +03:00
|
|
|
Gen("object: Color", "config/lua/color"),
|
2022-07-09 09:25:42 +03:00
|
|
|
Page("object: ExecDomain", "config/lua/ExecDomain.md"),
|
2022-05-14 19:14:35 +03:00
|
|
|
Page("object: LocalProcessInfo", "config/lua/LocalProcessInfo.md"),
|
2023-01-09 18:38:05 +03:00
|
|
|
Gen("object: MuxDomain", "config/lua/MuxDomain"),
|
2022-07-07 02:02:29 +03:00
|
|
|
Gen("object: MuxWindow", "config/lua/mux-window"),
|
2022-07-19 15:51:48 +03:00
|
|
|
Gen("object: MuxTab", "config/lua/MuxTab"),
|
2021-04-25 02:47:26 +03:00
|
|
|
Page("object: PaneInformation", "config/lua/PaneInformation.md"),
|
|
|
|
Page("object: TabInformation", "config/lua/TabInformation.md"),
|
2021-02-20 20:43:37 +03:00
|
|
|
Page("object: SshDomain", "config/lua/SshDomain.md"),
|
2020-10-10 20:49:36 +03:00
|
|
|
Page("object: SpawnCommand", "config/lua/SpawnCommand.md"),
|
2022-07-17 21:38:02 +03:00
|
|
|
Gen("object: Time", "config/lua/wezterm.time/Time"),
|
2021-02-20 20:43:37 +03:00
|
|
|
Page("object: TlsDomainClient", "config/lua/TlsDomainClient.md"),
|
|
|
|
Page("object: TlsDomainServer", "config/lua/TlsDomainServer.md"),
|
2020-10-10 18:40:14 +03:00
|
|
|
Gen(
|
|
|
|
"object: Pane",
|
|
|
|
"config/lua/pane",
|
|
|
|
),
|
|
|
|
Gen(
|
|
|
|
"object: Window",
|
|
|
|
"config/lua/window",
|
2021-12-18 18:44:18 +03:00
|
|
|
),
|
2022-01-09 22:23:14 +03:00
|
|
|
Page("object: WslDomain", "config/lua/WslDomain.md"),
|
2022-06-18 02:57:52 +03:00
|
|
|
Gen(
|
|
|
|
"events: Gui",
|
|
|
|
"config/lua/gui-events",
|
|
|
|
),
|
2021-12-18 18:44:18 +03:00
|
|
|
Gen(
|
|
|
|
"events: Multiplexer",
|
|
|
|
"config/lua/mux-events",
|
2021-03-10 08:50:48 +03:00
|
|
|
),
|
|
|
|
Gen(
|
|
|
|
"events: Window",
|
|
|
|
"config/lua/window-events",
|
2020-10-10 18:40:14 +03:00
|
|
|
),
|
2020-10-10 18:00:08 +03:00
|
|
|
],
|
|
|
|
),
|
2020-10-10 08:03:59 +03:00
|
|
|
],
|
|
|
|
)
|
|
|
|
]
|
|
|
|
|
|
|
|
os.chdir("docs")
|
|
|
|
with open("SUMMARY.md", "w") as f:
|
|
|
|
for page in TOC:
|
|
|
|
page.render(f)
|