First we can create an alias service which we can use to ssh to the remote without having to use the full domain name:
Host service
HostName <hpc-service>
IdentityFile id_ed25519_service
User userid_service
ForwardAgent yes
We have also added HostName
, which will be the full name of the server we connect to, so we can now connect to ssh [userID]@<hpc-service>
with just ssh serviceA
.