KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Docs: Generate commented default configuration files

Browse Source 
Provides the same sample config files as the locally generated ones.
This commit is contained in:
pagedown 2023-02-10 12:44:10 +08:00
parent 1b580e8323
commit c41a0c0290
No known key found for this signature in database
GPG Key ID: E921CF18AC8FF6EB
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/conf.py
View File

@ -508,7 +508,7 @@ def write_conf_docs(app: Any, all_kitten_names: Iterable[str]) -> None:
conf_name = re.sub(r'^kitten-', '', name) + '.conf' conf_name = re.sub(r'^kitten-', '', name) + '.conf'
with open(f'generated/conf/{conf_name}', 'w', encoding='utf-8') as f: with open(f'generated/conf/{conf_name}', 'w', encoding='utf-8') as f:
text = '\n'.join(definition.as_conf()) text = '\n'.join(definition.as_conf(commented=True))
print(text, file=f) print(text, file=f)
from kitty.options.definition import definition from kitty.options.definition import definition