[m-dev.] CVS permissions & papers directory

[Peter Ross]

Fergus wrote:

> >From a recent Mercury meeting minutes:
>
> >         - Files tend to get put into the papers directory with
> >           permissions set incorrectly.  We should make the permissions
> >           check part of the CVS commit script also apply to the papers
> >           directory.
>
> The permissions check *already* applies to the papers directory.
> It is applied to all directories in the Mercury cvs repository.
>
> I think the problem is just that the current permissions check only gets
> triggered when you modify or add a file, not when you add a new directory.
> (The reason it shows up more in the `papers' directory is probably just
that
> people add new directories there more often.)
>
> So, anytime you add a new directory, please remember to check the
> permissions on the newly created directory in the CVS repository
> and if necessary fix them manually.
>
This is a problematic for contributors that don't have user accounts on our
machines.

Pete

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------