Re: [platform-update-dev] eclipse installation site types cleanup

[jasc@xxxxxxx]

Hello Peter,

Monday, April 12, 2004, 10:16:29 PM, you wrote:
>> $HOME/.eclipseextention/{plugins,features}.
> the .eclipseextention path is just an example of a path? It could be
> $HOME/extension1/{plugins,features}
> as well.

Yep. That was just an example which hides the dir in my $HOME.

> Yes there needs to be a way to not allow the user to remove or modify 
> extensions created by native installers using the -addsite command without 
> using the -removesite command.

I'm not so sure: Consider a shared computer, with a eclipse base
installation by the package manager, additions by a native installer
made by root and two users: one who wants all the stuff and one who
is a beginner. As long as the activities manager this, it's fine,
though.

Jan