Key change on uberspace.de - using a separate identity

update-key.sh

export UUSER=seti123
export UHOST=aldebaran.uberspace.de
cd ~/.ssh 
ssh-keygen -t rsa -b 4096 -f uberspace_rsa4096
cat ~/.ssh/uberspace_rsa4096.pub | ssh -p 4022 $UUSER@$UHOST 'cat >> .ssh/authorized_keys'

cat <<EOF >> ~/.ssh/config
Host $UHOST
   Port 22
   IdentityFile ~/.ssh/uberspace_rsa4096
EOF

 ssh $UUSER@$UHOST

 :)