[isabelle-dev] isatest ssh

[Makarius]

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