mirror of
https://github.com/kovidgoyal/kitty.git
synced 2024-10-26 23:24:58 +03:00
a66d2b0890
Also use base85 instead of base64 for keyname encoding to reduce average length
53 lines
1.5 KiB
Python
Executable File
53 lines
1.5 KiB
Python
Executable File
#!/usr/bin/env python3
|
|
# vim:fileencoding=utf-8
|
|
# License: GPL v3 Copyright: 2016, Kovid Goyal <kovid at kovidgoyal.net>
|
|
|
|
import json
|
|
import os
|
|
import re
|
|
import subprocess
|
|
from collections import defaultdict
|
|
|
|
base = os.path.dirname(os.path.abspath(__file__))
|
|
os.chdir(base)
|
|
|
|
defns = defaultdict(list)
|
|
|
|
for line in open('kitty/kitty.conf'):
|
|
if line.startswith('map '):
|
|
_, sc, name = line.split(maxsplit=3)
|
|
defns[name].append('`' + sc + '`')
|
|
|
|
defns = [
|
|
':sc_{}: pass:quotes[{}]'.format(name, ' or '.join(defns[name]))
|
|
for name in sorted(defns)
|
|
]
|
|
defns = '\n'.join(defns)
|
|
|
|
raw = open('README.asciidoc').read()
|
|
pat = re.compile(
|
|
r'^// START_SHORTCUT_BLOCK$.+?^// END_SHORTCUT_BLOCK$', re.M | re.DOTALL
|
|
)
|
|
nraw = pat.sub(
|
|
'// START_SHORTCUT_BLOCK\n' + defns + '\n// END_SHORTCUT_BLOCK', raw
|
|
)
|
|
if raw != nraw:
|
|
print('Updating shortcuts block')
|
|
open('README.asciidoc', 'w').write(nraw)
|
|
|
|
raw = subprocess.check_output([
|
|
'kitty', '-c',
|
|
'from kitty.key_encoding import *; import json; print(json.dumps(ENCODING))'
|
|
]).decode('utf-8')
|
|
key_map = json.loads(raw)
|
|
lines = [
|
|
'See link:protocol-extensions.asciidoc#keyboard-handling[Keyboard Handling protocol extension]',
|
|
'', '|===', '| Name | Encoded representation (base64)', ''
|
|
]
|
|
for k in sorted(key_map):
|
|
lines.append('| {:15s} | `{}`'.format(k.replace('_', ' '), key_map[k].replace('`', '\\`')))
|
|
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)
|