# fedora setup

local host
local found

wget https://admin.fedoraproject.org/ssh_known_hosts -O ~/.ssh/fedora-known_hosts
while read host; do
	found=$(grep $(dig +short "${host}") ~/.ssh/fedora-known_hosts)
	if test -n "${found}"; then
		chmod u+w ~/.ssh/config
		cat >>~/.ssh/config <<EOF

Host $host
	HostKeyAlias $(echo "${found}" | cut -d, -f1)
	IdentityFile ~/.ssh/fedora-id_rsa
	UserKnownHostsFile /dev/null
	GlobalKnownHostsFile ~/.ssh/fedora-known_hosts
EOF
		chmod u-w ~/.ssh/config
	fi
done <<-EOFOUT
	fedorapeople.org
EOFOUT