standardized isabelle-server.in.tum.de;
authorwenzelm
Fri Feb 01 21:31:21 2013 +0100 (2013-02-01)
changeset 510720351cc781a26
parent 51071 b7e7557e80b5
child 51073 a25b899a649d
child 51074 f95817852bdd
standardized isabelle-server.in.tum.de;
README_REPOSITORY
     1.1 --- a/README_REPOSITORY	Thu Jan 31 22:21:05 2013 +0100
     1.2 +++ b/README_REPOSITORY	Fri Feb 01 21:31:21 2013 +0100
     1.3 @@ -138,26 +138,26 @@
     1.4  time of writing and many years later.
     1.5  
     1.6  Push access to the Isabelle repository requires an account at TUM,
     1.7 -with properly configured ssh to the local machines (e.g. lxbroy10).
     1.8 -You also need to be a member of the "isabelle" Unix group.
     1.9 +with properly configured ssh to isabelle-server.in.tum.de.  You also
    1.10 +need to be a member of the "isabelle" Unix group.
    1.11  
    1.12  Sharing a locally modified clone then works as follows, using your
    1.13  user name instead of "wenzelm":
    1.14  
    1.15 -  hg out ssh://wenzelm@lxbroy10//home/isabelle-repository/repos/isabelle
    1.16 +  hg out ssh://wenzelm@isabelle-server.in.tum.de//home/isabelle-repository/repos/isabelle
    1.17  
    1.18  In fact, the "out" or "outgoing" command performs only a dry run: it
    1.19  displays the changesets that would get published.  An actual "push",
    1.20  with a lasting effect on the Isabelle repository, works like this:
    1.21  
    1.22 -  hg push ssh://wenzelm@lxbroy10//home/isabelle-repository/repos/isabelle
    1.23 +  hg push ssh://wenzelm@isabelle-server.in.tum.de//home/isabelle-repository/repos/isabelle
    1.24  
    1.25  
    1.26  Default paths for push and pull can be configured in
    1.27  isabelle/.hg/hgrc, for example:
    1.28  
    1.29    [paths]
    1.30 -  default = ssh://wenzelm@lxbroy10//home/isabelle-repository/repos/isabelle
    1.31 +  default = ssh://wenzelm@isabelle-server.in.tum.de//home/isabelle-repository/repos/isabelle
    1.32  
    1.33  Now "hg pull" or "hg push" will use that shared file space, unless a
    1.34  different URL is specified explicitly.
    1.35 @@ -166,7 +166,7 @@
    1.36  source URL.  So we could have cloned via that ssh URL in the first
    1.37  place, to get exactly to the same point:
    1.38  
    1.39 -  hg clone ssh://wenzelm@lxbroy10//home/isabelle-repository/repos/isabelle
    1.40 +  hg clone ssh://wenzelm@isabelle-server.in.tum.de//home/isabelle-repository/repos/isabelle
    1.41  
    1.42  
    1.43  Simple merges