ForwardAgent no
CheckHostIp yes

# virtual machines
Host 192.168.122.*
	StrictHostKeyChecking no
	UserKnownHostsFile ~/.ssh/virt-known_hosts
	GlobalKnownHostsFile /dev/null

Host *.redhat.com
	GSSAPIAuthentication yes
	PreferredAuthentications gssapi-with-mic
	#PreferredAuthentications keyboard-interactive,password
	StrictHostKeyChecking ask

Host jnpkrn.github.com
	HostName github.com
	PreferredAuthentications publickey
	IdentityFile ~/.ssh/github_jnpkrn-id_rsa
	UserKnownHostsFile /dev/null
	GlobalKnownHostsFile ~/.ssh/github-known_hosts

Host *
	IdentityFile ~/.ssh/id_rsa
	StrictHostKeyChecking yes

Host pkgs.fedoraproject.org
	# this does not correlate with ~/.ssh/fedora-known_hosts
	#HostKeyAlias ...
	IdentityFile ~/.ssh/fedora-id_rsa
	UserKnownHostsFile ~/.ssh/fedora-known_hosts-extra
	GlobalKnownHostsFile ~/.ssh/fedora-known_hosts
	StrictHostKeyChecking ask

Host fedorapeople.org
	HostKeyAlias people03.fedoraproject.org
	IdentityFile ~/.ssh/fedora-id_rsa
	UserKnownHostsFile /dev/null
	GlobalKnownHostsFile ~/.ssh/fedora-known_hosts

Host git.fedorahosted.org
	HostKeyAlias hosted03.fedoraproject.org
	IdentityFile ~/.ssh/fedora-id_rsa
	UserKnownHostsFile /dev/null
	GlobalKnownHostsFile ~/.ssh/fedora-known_hosts