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. Cheers, Gerwin _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
