blob: 140970bb431f174a9fa18c05b84833ba19f16811 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
# 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
git.fedorahosted.org
EOFOUT
# git.fedorahosted.org ~ fedorahosted.org
|