当我直接通过 SSH 连接到服务器的 IP 地址时，它可以工作。(ssh michael@10.1.10.129) 作为参考，这里是结果提示：
michael@noranetserver:~$
然而，按名称 ssh-ing 并不像这样工作：
ssh michael@noranetserver
ssh: Could not resolve hostname noranetserver: nodename nor servname provided, or not known
为什么会这样？