scp ~/.ssh/id_rsa.pub your_username@lovelace.ma.ic.ac.uk:.ssh/id_rsa.pub_new
ssh your_username@lovelace.ma.ic.ac.uk
cd ~/.ssh; cat authorized_keys
If only one key is listed in the authorized_keys file then it is probably your old id_rsa.pub key so it's safe to replace it with the new key you have just uploaded:
cp id_rsa.pub_new authorized_keys
but if it has more then one key, then you are probably using multiple keys from other systems and only you will know if this is the case. You'll probably want to leave these in place so do the following; first look at your existing (old) id_rsa.pub key to see what it looks like:
cat id_rsa.pub
cat id_rsa.pub_new >> authorized_keys
| aachen | aachen.ma.ic.ac.uk | |
| cathedral | cathedral.ma.ic.ac.uk | |
| hessian | hessian.ma.ic.ac.uk | |
Research Computing Manager, Department of Mathematics
last updated: 20.5.2026