mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-06-23 17:41:35 +00:00
Fix #2137
This commit is contained in:
parent
d8dd22048a
commit
d5682fe49a
1 changed files with 3 additions and 0 deletions
|
|
@ -76,6 +76,9 @@ def parse_ssh_args(args):
|
|||
if arg in boolean_ssh_args:
|
||||
ssh_args.append(arg)
|
||||
continue
|
||||
if arg.startswith('-p') and arg[2:].isdigit():
|
||||
ssh_args.append(arg)
|
||||
continue
|
||||
if arg in other_ssh_args:
|
||||
if i != len(all_args) - 1:
|
||||
raise SystemExit('Option {} cannot occur in the middle'.format(arg))
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue