Quando SSH direttamente all'indirizzo IP del server, funziona. (ssh michael@10.1.10.129) Per riferimento, ecco il prompt risultante:
michael@noranetserver:~$
Tuttavia, scrivere per nome non funziona così:
ssh michael@noranetserver
ssh: Could not resolve hostname noranetserver: nodename nor servname provided, or not known
Perché dovrebbe essere?
nslookup noranetserver
in caso contrario potrebbe essere la ragione.