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