[news.eclipse.tptp] Re: TPTP problems on Linux

[Poul Henriksen <p.henriksen@xxxxxxxxxx>]

The reason that pluginconfig.xml and serviceconfig.xml files need to be 
writable by the user, is that almost all of the files are empty after a 
fresh install of TPTP. They are written at some point when TPTP is 
started/configured through eclipse.

There also seems to be some inconsistency in the permissions. From this 
command with a fresh install:

 ls -l `find -name pluginconfig.xml`

I get this output:

-rw-r--r-- 1 root root    0 Sep 26 18:45 
./plugins/org.eclipse.hyades.execution_4.4.1.v200709261752/config/pluginconfig.xml
-rw-r--r-- 1 root root    0 Sep 26 18:46 
./plugins/org.eclipse.hyades.logging.adapter_4.3.0.v200706010100/config/pluginconfig.xml
-rw-r--r-- 1 root root    0 Sep 26 18:45 
./plugins/org.eclipse.hyades.logging.core_4.3.101.v200709261752/config/pluginconfig.xml
-rw-r--r-- 1 root root    0 Sep 26 18:46 
./plugins/org.eclipse.hyades.logging.parsers_4.3.101.v200709191245/config/pluginconfig.xml
-rw-r--r-- 1 root root    0 Sep 26 18:46 
./plugins/org.eclipse.hyades.perfmon.agents_4.0.0/config/pluginconfig.xml
-rw-r--r-- 1 root root    0 Sep 26 18:47 
./plugins/org.eclipse.hyades.test.core_4.2.201.v200709261752/config/pluginconfig.xml
-rw-r--r-- 1 root root    0 Sep 26 18:47 
./plugins/org.eclipse.hyades.test.tools.core_4.4.1.v200709261752/config/pluginconfig.xml
-rw-r--r-- 1 root root  957 Sep 26 18:46 
./plugins/org.eclipse.tptp.monitoring.instrumentation_4.3.1.v200709261752/config/pluginconfig.xml
-rw-r--r-- 1 root root    0 Sep 26 18:45 
./plugins/org.eclipse.tptp.platform.collection.framework_4.2.101.v200709261752/config/pluginconfig.xml
-rw-r-xr-- 1 root root 1137 Sep 27 02:07 
./plugins/org.eclipse.tptp.platform.jvmti.runtime_4.4.1.v200709261752/agent_files/linux_em64t/config/pluginconfig.xml
-rw-r-xr-- 1 root root 1137 Sep 27 02:07 
./plugins/org.eclipse.tptp.platform.jvmti.runtime_4.4.1.v200709261752/agent_files/linux_ia32/config/pluginconfig.xml
-rwxrwxr-x 1 root root 1068 Sep 27 02:07 
./plugins/org.eclipse.tptp.platform.jvmti.runtime_4.4.1.v200709261752/agent_files/win_em64t/config/pluginconfig.xml
-rwxrwxr-x 1 root root 1068 Sep 27 02:07 
./plugins/org.eclipse.tptp.platform.jvmti.runtime_4.4.1.v200709261752/agent_files/win_ia32/config/pluginconfig.xml
-rw-r--r-- 1 root root    0 Sep 26 22:45 
./plugins/org.eclipse.tptp.platform.jvmti.runtime_4.4.1.v200709261752/config/pluginconfig.xml
-rw-r--r-- 1 root root    0 Sep 26 18:45 
./plugins/org.eclipse.tptp.platform.logging.events_4.3.101.v200709261752/config/pluginconfig.xml
-rw-r--r-- 1 root root    0 Sep 26 18:47 
./plugins/org.eclipse.tptp.test.tools.junit.plugin_4.4.1.v200709261752/config/pluginconfig.xml
-rw-r--r-- 1 root root    0 Sep 26 18:47 
./plugins/org.eclipse.tptp.trace.arm_4.3.1.v200709261752/config/pluginconfig.xml
-rw-r--r-- 1 root root    0 Sep 26 18:46 
./plugins/org.mx4j.jmx_3.0.3.v200709261752/config/pluginconfig.xml
-rw-r--r-- 1 root root    0 Sep 26 18:47 
./plugins/org.opengroup.arm_4.0.1.v200709261752/config/pluginconfig.xml

Most of them have a size of zero, and the files in agent_files have 
different permissions from the rest of the files.

After running eclipse with tptp, none of the files have a size of zero 
anymore - so I guess all of them have to be writable.

Poul

Matthias Wiskow wrote:
> Thanks for the hint about pluginconfig.xml. I was not aware of this.
>
> I found out that my hint about missing config.jar was wrong. Hence I 
> withdraw it :-)
>
> It seems that TPTP is not well suited for so called shared 
> installations, i.e. for example TPTP installed by root at a shared 
> location and used by restricted users from different hosts.
>
> As for IAC, I think configuration files should be maintainable per user.
> Different users may want to use a shared TPTP installation on different 
> Linux hosts which probably provide different JREs. Having just one 
> central configuration file would be bad then.
>
> Also I don't see why pluginconfig.xml (which one exactly?) must be 
> writable for the user in order that IAC works.
> Could some expert please shed some light on this?
>
> Thanks,
> Matthias
>
> Poul Henriksen schrieb:
> > Hi,
> >
> > Thanks for the pointers!
> >
> > I finally managed to get it working (not with the eclipse update 
> > though). It seems that the problem was related to wrong file 
> > permissions on all the configuration files. I usually install eclipse 
> > as root, and then run it from my user account. So far this has worked 
> > fine, but it seems to be a problem when using TPTP.
> >
> > So, the problem can be solved by either granting write permissions to 
> > all on all the configuration files (serviceconfig.xml and 
> > pluginconfig.xml) or installing Eclipse from the user account.
> >
> > Thanks,
> > Poul