So, I tried again using Help > Software Updates > Find and Install...
to download Eclipse and install the plugins themselves. This time with great success, but still no joy. Notably, he is trying to update some parts of the Eclipse kernel. This installation failed because the /usr/shar/eclipse
files (installed by Eclipse RPC from Red Hat) belong to root
, not to me. It seems that, despite what the release says, TPTP requires a fixed version of Eclipse 3.2. My guess is that the moral of this story is to forget about trying to use the Eclipse RPM and instead download and install it in your home directory.
source share