# Debian general configuration
Host *.debian.org
IdentityFile ~/.ssh/identity_debian
UserKnownHostsFile ~/.ssh/known_hosts_debian
# Debian general configuration
Host *.debian.org
IdentityFile ~/.ssh/identity_debian
UserKnownHostsFile ~/.ssh/known_hosts_debian