There is this recurrent game to have the isatest user do many manual ssh
logins to update known_hosts. Getting tired of it, I just did some
reading of man ssh_config and some googling. This resulted the following
~isatest/.ssh/config:
Host *
#see
http://linuxcommando.blogspot.fr/2008/10/how-to-disable-ssh-host-key-checking.html
StrictHostKeyChecking no
UserKnownHostsFile=/dev/null
Maybe it helps in other situations, too. Or maybe there is an ssh expert
saying that this is really really bad.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
