[isabelle-dev] Repository Trouble
makarius at sketis.net
Fri Dec 21 11:00:21 CET 2012
On Thu, 20 Dec 2012, Alexander Krauss wrote:
> On 12/20/2012 12:20 AM, Alexander Krauss wrote:
>> I am now writing this up for the hg mailing list, since we now may
>> have enough information to get help tracking it down...
> I posted a question here:
> and there are some answers, which suggest that NFS or other physical
> issues are responsible for this.
Studying the thread briefly, it raises two main question for me:
* Does /tmp work properly on the macbroyXXX and lxbroyXXX machines?
There were some problems after updating macbroy2X approx 1-2 weeks
ago. Just today isatest complained about /tmp on macbroy6, although
that is a completely different system (Mac OS X, not SuSE Linux).
* Any possibility of having genuine problems with the NFS server, as
suggested by the Mercurial guys?
More information about the isabelle-dev