[isabelle-dev] isatest ssh

Gerwin Klein kleing at cse.unsw.edu.au
Mon Nov 26 21:50:58 CET 2012


On 27/11/2012, at 12:55 AM, Makarius <makarius at sketis.net> wrote:

> On Mon, 26 Nov 2012, Gerwin Klein wrote:
> 
>>> The reasoning (or rather hope) behind the above was that for doing real non-sense you would have to be on the local network at TUM.  So it is basically a switch back towards the old-fashioned ways of rsh.
>> 
>> I'm fine with that part. I mainly don't want to get the warning emails for each session. Maybe we should just leave off the line with /dev/null.
> 
> OK, until we get better ideas ~isatest/.ssh/config is like this:
> 
> Host *
>  StrictHostKeyChecking no
> 
> So the mails only happen when there is a conflict with earlier implicit updates of known_hosts, and the situation can be resolved by resetting that file.

Thanks, my mailbox is grateful :-)

Gerwin


More information about the isabelle-dev mailing list