diff options
| author | Daniel Silverstone <dsilvers@digital-scurf.org> | 2012-08-30 18:37:59 +0100 |
|---|---|---|
| committer | Daniel Silverstone <dsilvers@digital-scurf.org> | 2012-08-30 18:37:59 +0100 |
| commit | d2732c73915f3bec423dc89d3b3d185b6b7917e3 (patch) | |
| tree | 7c70dae1c4f0df070e36ebc3f4be98da201bd798 /skel/gitano-admin/rules/createrepo.lace | |
| parent | 56048c5a7f47f915ed7506779fd8f75bb90bee78 (diff) | |
| download | gitano-d2732c73915f3bec423dc89d3b3d185b6b7917e3.tar.gz | |
INSTALLER: make install and gitano-setup should work (mostly)
Diffstat (limited to 'skel/gitano-admin/rules/createrepo.lace')
| -rw-r--r-- | skel/gitano-admin/rules/createrepo.lace | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/skel/gitano-admin/rules/createrepo.lace b/skel/gitano-admin/rules/createrepo.lace new file mode 100644 index 0000000..9085706 --- /dev/null +++ b/skel/gitano-admin/rules/createrepo.lace @@ -0,0 +1,12 @@ +# Rules related to creating repositories + +# Administrators have already been permitted whatever they like +# so this is for non-admins. + +# Uncomment the following to allow repositories in personal/username/ + +# define repo_is_personal repository ~^personal/${user}/ +# allow "Personal repo creation is okay" repo_is_personal + +# Otherwise the default is that non-admins can't create repositories +deny "Repository creation is not permitted." |