author wenzelm
Sun, 12 Aug 2012 17:39:06 +0200
changeset 48779 71136069089d
child 50576 325bf9073c59
permissions -rw-r--r--
some information for central Isabelle repository configuration;

Notes on central Isabelle repository

* direct file-system access (locally or remotely via ssh)

* permissions via dedicated Unix group "isabelle"

* See on physical format, with
  conservative requirements for Mercurial 1.3 as lowest common denominator:


* See for old-fashioned
  CVS-like multiple committers configuration, "The filesystem method":

    hg --config format.dotencode=0 init isabelle-clone
    cd isabelle-clone
    chgrp -R isabelle .hg
    chmod g+s .hg .hg/store
    mkdir .hg/strip-backup   ## Not to be used under normal circumstances!
    chmod -R g+w .hg

  Now isabelle-clone is ready for push of repository data (without making
  a working directory).