[isabelle-dev] TUM repository is down?
makarius at sketis.net
Wed Jun 2 20:30:36 CEST 2021
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.
* 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.)
More information about the isabelle-dev