equal
deleted
inserted
replaced
5 --------------- |
5 --------------- |
6 |
6 |
7 $ install /home/isabelle/components/screwdriver-3.14.tar.gz |
7 $ install /home/isabelle/components/screwdriver-3.14.tar.gz |
8 $ install /home/isabelle/contrib/screwdriver-3.14/ |
8 $ install /home/isabelle/contrib/screwdriver-3.14/ |
9 $ edit Admin/components/main: screwdriver-3.14 |
9 $ edit Admin/components/main: screwdriver-3.14 |
10 $ run Admin/components/checksum -u |
10 $ isabelle components_checksum -u |
11 $ hg diff |
11 $ hg diff |
12 $ hg commit |
12 $ hg commit |
13 |
13 |
14 |
14 |
15 Unique names |
15 Unique names |
44 nonfree components should omit "read" mode for the Unix group/other; |
44 nonfree components should omit "read" mode for the Unix group/other; |
45 regular components should be world-readable. |
45 regular components should be world-readable. |
46 |
46 |
47 The file Admin/components/components.sha1 contains SHA1 identifiers |
47 The file Admin/components/components.sha1 contains SHA1 identifiers |
48 within the Isabelle repository, for integrity checking of the archives |
48 within the Isabelle repository, for integrity checking of the archives |
49 that are exposed to the public file-system. The script |
49 that are exposed to the public file-system. The components_checksum |
50 Admin/components/checksum helps to update these hash-keys wrt. the |
50 tool helps to update these hash-keys wrt. the information within the |
51 information within the Isabelle repository. |
51 Isabelle repository. |
52 |
52 |
53 |
53 |
54 Unpacked copy |
54 Unpacked copy |
55 ------------- |
55 ------------- |
56 |
56 |