[isabelle-dev] isatest ~/.ssh/known_hosts

Gerwin Klein kleing at cse.unsw.edu.au
Thu Oct 4 01:27:16 CEST 2012

In an attempt to get rid of spurious "Host key verification failed" messages, I've cleaned out the old ~/.ssh/known_hosts file of isatest and manually re-added all hosts mentioned in Admin/isatest.

If there are other things running under this account (mira?) that may break when ssh asks for host key verification, you will need to log in as isatest and visit these hosts manually once.


More information about the isabelle-dev mailing list