Итак, я снова попытался использовать Help > Software Updates > Find and Install...
, чтобы Eclipse загрузил и сам установил плагины. На этот раз с большим успехом, но все равно нет радости Важно, что он пытается обновить некоторые части ядра Eclipse. Эта установка не удалась, потому что файлы /usr/shar/eclipse
(установленные RPM eclipse от Red Hat) принадлежат root
, а не мне. Поэтому кажется, что, несмотря на то, что говорится в примечаниях к выпуску, для TPTP требуется исправленная версия Eclipse 3.2. Полагаю, мораль этой истории - забыть о попытке использовать RPM Eclipse, а вместо этого загрузить и установить его в свой домашний каталог.