我尝试进行配置以通过命令连接到远程 ssh 服务器ssh <server short name>。我把这个放入~/.ssh/config:
Host <server short name> <server full name>
Host <server full name>
User <my username on the remote server>
Port 22022
ForwardAgent yes
ForwardX11 yes
Run Code Online (Sandbox Code Playgroud)
我可以使用连接
$ ssh <server full name>
Run Code Online (Sandbox Code Playgroud)
但它的命令失败了
$ ssh <server short name>
ssh: Could not resolve hostname <server short name>: Name or service not known
Run Code Online (Sandbox Code Playgroud)
我已经检查了几次拼写,但我找不到错误。任何想法为什么第二个命令失败?