Ja, es ist möglich, den Port zu ändern. Nutzen Sie einfach die Option rechts neben der Adresse.
Randbemerkung: Wenn Sie den Befehlszeilenclient verwenden ssh
, können Sie den Port als angeben ssh -p <port> user@server
. Der Port wird nicht wie in anderen URI-Schemas am Ende der Adresse angezeigt.
Bearbeiten: Es ist möglich, SSH so zu konfigurieren, dass ein beliebiger Port verwendet wird. Außerdem kann der Router so konfiguriert werden, dass eingehende Ports an einen anderen Port weitergeleitet werden. Stellen Sie sicher, dass Sie, wenn Ihr DNS-Eintrag auf Ihren Router verweist (irgendwo in der DMZ, denke ich), dass Sie sich mit dem externen Port verbinden, den Sie in Ihrem Router angegeben haben, und dass der interne Port des Routers konfiguriert ist der gleiche Port wie Ihr sshd-Agent.