Skip to content
Add note about using ssh config to set port number authored by George Nachman's avatar George Nachman
......@@ -18,7 +18,12 @@ Shell integration must be installed on every remote host you use and every user
## Is your ssh not on port 22?
See the section below on *How can I override the hostname?*. You must provide the port number after the hostname followed by a colon, like this: `example.com:2200`.
See the section below on *How can I override the hostname?*. You must provide the port number after the hostname followed by a colon, like this: `example.com:2200`. Alternatively, you can set up your ~/.ssh/config to specify the hostname like this:
````
Host example.com
Port 2200
````
## Did we guess your hostname correctly?
......
......