On Thu, 20 Dec 2012, Makarius wrote:
I just had a long phone call with Franz Huber, the local system admin
person. All the macbroy20..29 and lxlabbroyX machines involved here use
the same OpenSuse 12.2 with that hg 2.4. So just empirically that looks
like the problem -- breakdowns started approx. at the time of update of
several of these machines.
He will tell me later about further moves.
The current situation is this:
(1) lxbroy10 is the recommend ssh login server for pushes right now,
since it uses a completely different Mercurial installation on Linux
version. You merely need to reconfigure your .hg/hgrc like this:
[paths]
default = ssh://wenzelm@lxbroy10//home/isabelle-repository/repos/isabelle
in analogy to usual host switching, using your own login name, of course.
(2) The local sysadmins are working on replacement of the Mercurial 2.4
from SuSE 12.2, which is potentially the cause problems here.
(3) We watch closely what happens, and think again later.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
