Host *
  IdentityFile ~/.ssh/id_ed25519
  #AddKeysToAgent yes

Host raspi pi
  HostName 192.168.1.27
  User pi

Host codeberg.org
  IdentityFile ~/.ssh/id_ed25519_codeberg

Host tangled.org
  IdentityFile ~/.ssh/id_ed25519_tangled

Host knot.bas.sh
  IdentityFile ~/.ssh/id_ed25519_tangled

Host github.com
  IdentityFile ~/.ssh/id_ed25519_github

Host haring.bas.sh
  Port 2222