[isabelle-dev] isatest ssh

Makarius makarius at sketis.net
Tue Nov 20 13:23:00 CET 2012

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 

Host *
   #see http://linuxcommando.blogspot.fr/2008/10/how-to-disable-ssh-host-key-checking.html
   StrictHostKeyChecking no

Maybe it helps in other situations, too.  Or maybe there is an ssh expert 
saying that this is really really bad.


More information about the isabelle-dev mailing list