Host * IdentityFile /home/severin/.config/ssh/id_rsa UserKnownHostsFile /home/severin/.config/ssh/known_hosts Host jormungandr HostName kaderli.dev User root