Please improve handle default port logic.
I have two entry in my ~/.ssh/config
# Config for Gerrit Code Review
Host my.gerrit.site
User my
Port 29418
IdentityFile ~/.ssh/id_ed25519
# Config for Gerrit Admin
Host gerrit-admin
HostName my.gerrit.site
User gerrit
Port 22
IdentityFile ~/.ssh/id_ed25519
I can use the command ssh gerrit-admin
or ssh -i ~/.ssh/id_ed25519 gerrit@my.gerrit.site -p 22
to login the site.
The issuse is when create a Profile in Core Shell
General -> Host: my.gerrit.site
General -> Port: 22
General -> User: gerrit
Advanced -> IdentityFile: ~/.ssh/id_ed25519
Equivalent Command which ignored the port 22 which will be affect by config in ~/.ssh/config
Equivalent Command: ssh -i ~/.ssh/id_ed25519 -o ExitOnForwardFailure=yes -o ServerAliveCountMax=3 -o ServerAliveInterval=15 gerrit@my.gerrit.site
So, Please add -p 22
parameter to force use the port in Core Shell General Tab.
Currently Solution is use Host alias in Core Shell General Tab
eg.
General -> Host: gerrit-admin
General -> Port: 22
General -> User: gerrit
Advanced -> IdentityFile: ~/.ssh/id_ed25519