On Sun, Jul 12, 2009 at 03:50:39PM +0200, Andreas Barth wrote: > For this reason, I intend to propose the following options:
> 1. Keep /usr/local writeable by group staff (i.e. leave things as they > are). > 2. Decide to change the default so that /usr/local is not writeable by > group staff anymore. This change should only be implemented after an > appropriate transition plan exists, so that system administrators can > keep that functionality. (Reasons for the change are the adaption of > other tools like sudo on most sites, and the concept of "least > surprise" for novice users.) > 3. Further discussion. > Comments? Looks like we've covered the options (with the proposed amendments), and I'm content to vote on this. I'll definitely vote 3) last, because I'm largely of the view that this is bikeshedding, and either solution meets the needs of the vast majority of users. -- Steve Langasek Give me a lever long enough and a Free OS Debian Developer to set it on, and I can move the world. Ubuntu Developer http://www.debian.org/ [email protected] [email protected] -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
