I try to make a config for connecting to a remote ssh server via the command
ssh <server short name>. I put this into
Host <server short name> <server full name> Host <server full name> User <my username on the remote server> Port 22022 ForwardAgent yes ForwardX11 yes
I can connect using
$ ssh <server full name>
but it fails with the command
$ ssh <server short name> ssh: Could not resolve hostname <server short name>: Name or service not known
I've checked the spelling several times and I could not find a mistake. Any ideas why the second command fails?