[isabelle-dev] TUM repository is down?

[Fabian Huch]

Our directory structure has changed slightly, and it appears that the 
directory was a Symlink that is now dead.

I'll make sure that the testboard is restored but that may take until 
Friday.

Fabian

On 6/2/21 4:57 PM, Lawrence Paulson wrote:
> I’m getting error messages (see below). Any news?
> Larry
>
> src/HOL: hg fetch
> remote: @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
> remote: @    WARNING: REMOTE HOST IDENTIFICATION HAS CHANGED!     @
> remote: @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
> remote: IT IS POSSIBLE THAT SOMEONE IS DOING SOMETHING NASTY!
> remote: Someone could be eavesdropping on you right now (man-in-the-middle attack)!
> remote: It is also possible that a host key has just been changed.
> remote: The fingerprint for the ECDSA key sent by the remote host is
> remote: SHA256:q8AlcyiOs8RycfEnardRUfjUWwYwDrMMURBkZ7E0Eus.
> remote: Please contact your system administrator.
> remote: Add correct host key in /Users/lp15/.ssh/known_hosts to get rid of this message.
> remote: Offending ECDSA key in /Users/lp15/.ssh/known_hosts:114
> remote: ECDSA host key for lxbroy10.informatik.tu-muenchen.de has changed and you have requested strict checking.
> remote: Host key verification failed.
> abort: no suitable response from remote hg!
> src/HOL: bbedit /Users/lp15/.ssh/known_hosts
> src/HOL: hg fetch
> The authenticity of host 'lxbroy10.informatik.tu-muenchen.de (131.159.47.103)' can't be established.
> ED25519 key fingerprint is SHA256:6TjNHA9NX8QcZxCQ6ROvwhtrq7prqnclE+I/1KlLpGE.
> Are you sure you want to continue connecting (yes/no/[fingerprint])? yes
> remote: Warning: Permanently added 'lxbroy10.informatik.tu-muenchen.de,131.159.47.103' (ED25519) to the list of known hosts.
> remote: Warning: No xauth data; using fake authentication data for X11 forwarding.
> remote: abort: repository /home/isabelle-repository/repos/isabelle not found!
> abort: no suitable response from remote hg!
> src/HOL:
>
>
>
> Larry
>
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev