From d5682fe49aab092679400d352bfde99fb1ad8f90 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Sun, 17 Nov 2019 08:35:23 +0530 Subject: [PATCH] Fix #2137 --- kittens/ssh/main.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/kittens/ssh/main.py b/kittens/ssh/main.py index 99c9f3c87..ee32065ef 100644 --- a/kittens/ssh/main.py +++ b/kittens/ssh/main.py @@ -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))