@@ -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: