Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] TUM repository is down?

view this post on Zulip Email Gateway (Jun 02 2021 at 14:57):

From: Lawrence Paulson <lp15@cam.ac.uk>
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@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

view this post on Zulip Email Gateway (Jun 02 2021 at 15:21):

From: Fabian Huch <huch@in.tum.de>
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

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

view this post on Zulip Email Gateway (Jun 02 2021 at 15:56):

From: Fabian Huch <huch@in.tum.de>
To clarify: that was only about the testboard repository. The other
repositories had a problem earlier today when accessed from
isabelle-repository, but do work again.

Fabian

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

view this post on Zulip Email Gateway (Jun 02 2021 at 18:30):

From: Makarius <makarius@sketis.net>
On 02/06/2021 16:57, Lawrence Paulson wrote:

I’m getting error messages (see below). Any news?

lxbroy10 has been reinstalled: instead of an unusual Gentoo setup it is now
Ubuntu 20.04; moreover the NFS directory layout has become more "standard"
according to customs of the central system administration at TUM.

This means:

* You need to remove/update your ssh host key, cf. this message from ssh:

remote: Offending ECDSA key in /Users/lp15/.ssh/known_hosts:114

* You may want to change default paths in .hg/hgrc

While old /home/isabelle-repository is now back as a symlink, the
canonical /p/home/isabelle-repository might be more robust (after other
changes in the future).

After a bit of further consolidation, I expect fewer problems with lxbroy10 in
the future than we've had in the past. (Gentoo often caused strange problems
that nobody understood.)

Makarius

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

view this post on Zulip Email Gateway (Jun 05 2021 at 10:10):

From: Makarius <makarius@sketis.net>
There are some new problems with SSH apparently: I cannot connect.

(I have already an active mail thread with Thomas Fritz from the TUM system
administration.)

Makarius

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

view this post on Zulip Email Gateway (Jun 07 2021 at 09:10):

From: Makarius <makarius@sketis.net>
lxbroy10 appears to be back --- although I did not get mail from the admins yet.

Makarius

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

Last updated: Dec 07 2024 at 16:22 UTC