[isabelle-dev] Isabelle root access

Makarius 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 
> erweitert

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.


 	Makarius


More information about the isabelle-dev mailing list