Hi Makarius,
Am 08.05.2014 um 12:32 schrieb Makarius :
> 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. Usual
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
Exactly the same applies to Yutaka.
Fabian
Am 10.07.2013 um 13:30 schrieb Makarius :
> On Wed, 10 Jul 2013, Fabian Immler wrote:
>
>> Markus Westerlind is a student of mine. For his Bachelor's thesis he needs
>> to carry out performance measurements on a machine with many cores
>> (isabelle-s
On Wed, 10 Jul 2013, Fabian Immler wrote:
Markus Westerlind is a student of mine. For his Bachelor's thesis he
needs to carry out performance measurements on a machine with many cores
(isabelle-server). His project is not directly related to Isabelle, so
you are right that a full "root" access
Markus Westerlind is a student of mine.
For his Bachelor's thesis he needs to carry out performance measurements on a
machine with many cores (isabelle-server).
His project is not directly related to Isabelle, so you are right that a full
"root" access is too much, but it is the only way for him
The "Lehrstuhl" at TUM has this ancient tradition to hand out full "root"
access (via the "isabelle" Unix group) to anybody who happens to get an
account for any kind of project.
This is a lot of power (and responsibility) and and recent years we had
quite often the situation that neither the