Precise ssh port

[Antoinebr]

I changed my ssh port for security reasons. Can i specify a custom port ?

[matttarsi]

I'm having the same issue. Haven't found a solution yet.

[arondeparon]

I stumbled upon the same issue and found that you can simply add the port in the same way you would normally add it when using the commandline. In example:

{
     "production": {
        "ssh_host": "user@host -p 12345",
        ....
    }
}