equal
deleted
inserted
replaced
|
1 Notes on central Isabelle repository |
|
2 ==================================== |
|
3 |
|
4 * direct file-system access (locally or remotely via ssh) |
|
5 |
|
6 * permissions via dedicated Unix group "isabelle" |
|
7 |
|
8 * See http://mercurial.selenic.com/wiki/RequiresFile on physical format, with |
|
9 conservative requirements for Mercurial 1.3 as lowest common denominator: |
|
10 |
|
11 revlogv1 |
|
12 store |
|
13 fncache |
|
14 |
|
15 * See http://mercurial.selenic.com/wiki/MultipleCommitters for old-fashioned |
|
16 CVS-like multiple committers configuration, "The filesystem method": |
|
17 |
|
18 hg --config format.dotencode=0 init isabelle-clone |
|
19 cd isabelle-clone |
|
20 chgrp -R isabelle .hg |
|
21 chmod g+s .hg .hg/store |
|
22 mkdir .hg/strip-backup ## Not to be used under normal circumstances! |
|
23 chmod -R g+w .hg |
|
24 |
|
25 Now isabelle-clone is ready for push of repository data (without making |
|
26 a working directory). |
|
27 |