Eu li man ssh
e man ssh_config
e descobri a solução para isso:
#!/bin/bash
SSH_KNOWN_HOSTS=/etc/ssh/ssh_known_hosts
[ -e $SSH_KNOWN_HOSTS ] || touch $SSH_KNOWN_HOSTS
for host in \
host1.example.com \
host2.example.com \
; do
ssh-keygen -R $host -f $SSH_KNOWN_HOSTS
ssh -q -o StrictHostKeyChecking=no -o BatchMode=yes -o UserKnownHostsFile=$SSH_KNOWN_HOSTS $host echo '' || true
done
chmod a+r $SSH_KNOWN_HOSTS
Funciona, mas parece hacky. Você conhece uma maneira mais curta de fazer isso?