mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-26 10:12:17 +02:00
Code Issues Packages Projects Releases Wiki Activity

forgot to include in last commit

Browse Source
This commit is contained in:
Kovid Goyal
2018-02-07 14:40:23 +05:30
parent 226a89c184
commit 3828511051
2 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
preprocess-readme.py
View File

@@ -42,6 +42,7 @@ raw = subprocess.check_output([
key_map = json.loads(raw)
lines = [
'See link:protocol-extensions.asciidoc#keyboard-handling[Keyboard Handling protocol extension]',
' for more information and link:key_encoding.json[for this table in JSON format].',
'', '|===', '| Name | Encoded representation (base64)', ''
]
for k in sorted(key_map):
@@ -50,3 +51,5 @@ lines += ['', '|===']
with open('key_encoding.asciidoc', 'w') as f:
print('= Key encoding for extended keyboard protocol\n', file=f)
print('\n'.join(lines), file=f)
with open('key_encoding.json', 'w') as f:
f.write(json.dumps(key_map, indent=2))