mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-06-11 11:09:16 +02:00
Code Issues Packages Projects Releases Wiki Activity

Get rid of the |kitty.conf| substitution

Browse Source
This commit is contained in:
Kovid Goyal
2018-06-05 08:44:51 +05:30
parent 065a2b37c7
commit ea4a7136f0
6 changed files with 19 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
kitty/cli.py
View File

@@ -98,7 +98,7 @@ messages. For example, :option:`{appname} --listen-on`=unix:/tmp/mykitty or
UNIX sockets, not associated with a file, like this: :option:`{appname} --listen-on`=unix:@mykitty.
To control kitty, you can send it commands with :italic:`kitty @` using the :option:`kitty @ --to` option
to specify this address. Note that this option will be ignored, unless you set
:italic:`allow_remote_control` to yes in |kitty.conf|.
:opt:`allow_remote_control` to yes in :file:`kitty.conf`.
# Debugging options
@@ -189,6 +189,10 @@ def title(x):
return blue(bold(x))
def opt(text):
return text
def option(x):
idx = x.find('-')
if idx > -1:
@@ -271,7 +275,7 @@ def prettify(text):
return role_map[role](text)
text = re.sub(r':([a-z]+):`([^`]+)`', sub, text)
return text.replace('|kitty.conf|', italic('kitty.conf'))
return text
def prettify_rst(text):