The SSH session configuration doesn't seem to support setting the port in the Host entry but instead requires using the port configuration option.
Is this behavior by-design? Would it be difficult to alter the behavior to override the port configuration if the host entry is defined as <HOST>:<PORT>?
The example below will still attempt to connect to 127.0.0.1:22 instead of 127.0.0.1:3020
Hello,
Please click on the Default blue link beside the Port label and then set your port in the Port dialog. This should do the trick.
Best regards,
Érica Poirier
2018-10-11_22-16-53.png