Once you obtained your account and we installed your ssh public key, you should be able to log into any of our available head nodes.

To log in you simple need to call

ssh -i ~/.ssh/id_ed25519-atlas user.name@condor1.atlas.aei.uni-hannover.de

Maybe, a couple of explanations are needed here:

-i path/to/key
the option -i instructs ssh to use the named private key file, it is important that this references the one belonging to the public key you sent to us!
user.name
you need to tell ssh as which user you want to log-in, usually this is your firstname.lastname
condor1
as an example, the head node condor1 is used, but you can choose any from the list of available ones.

We strongly encourage you to read more about openssh and how to use its configuration file and the ssh-agent to help with everyday use.

A good initial reading list are your local man-pages man ssh and man ssh_config (or their online version) or web tutorials such as this one.

Also, our FAQ section has a few items about ssh configuration.