[isabelle-dev] Isabelle root access
makarius at sketis.net
Thu May 8 12:32:31 CEST 2014
On Thu, 8 May 2014, mta-proj wrote:
> die Gruppe isabelle, in der Sie Mitglied sind, wurde mit desharna,fleury
Membership of the "isabelle" Unix group means full root access to
many administrative resources. Usually neither the one who grants the
rights nor the one who receives them knows what that means.
So just the canonical questions: Who is responsible for these users?
What are their projects within Isabelle?
15 years ago, I started myself this strange tradition to "re-use" the one
"isabelle" group for any kind of shared resource management within the
network file-system at TUM. That was at a time with approx. 7 people
total in 2-3 adjacent offices, so it was rather obvious who was
responsible for what.
More information about the isabelle-dev