Plugin Eclipse: Editor PHP
Pubblicato da orter su Giugno 21, 2007
Tra i vari plugin disponibili per Eclipse, quelli utili ad editare file php sono tra i più ghiotti. Un buon plugin di questo genere si trova nel sito Plog4U. Per installarlo basta seguire la guida che si trova nel sito stesso. Sostanzialmente si tratta di selezionare dal menu di Eclipse Help->Software Updates->Find/Install , aggiungere http://phpeclipse.sourceforge.net/update/releases, alla lista dei repository e schiacciare il tasto Finish.
Se si utilizza Ubuntu Feisty, però, occorre soffrire un altro pò. Ubuntu non installa il sun java jre, quindi occorre installarlo con
sudo apt-get install sun-java6-jre
Dopo questa installazione, si rende necessario editare il file /etc/eclipse/java_home mettendo in testa la stringa /usr/lib/jvm/java-gcj per indicare quale jvm deve utilizzare il plugin.
Se usate la versione 64 bit potreste trovarvi ad una ulteriore difficoltà: il file /etc/eclipse/java_home non esiste. Occorre creare la cartella /etc/eclipse con
sudo mkdir /etc/eclipse
Il contenuto del file è questo (si può fare cut and paste delle prime due righe non commentate):
# This file determines the search order the Eclipse Platform uses to find a
# compatible JAVA_HOME. This setting may be overridden on a per-user basis by
# altering the JAVA_HOME setting in ~/.eclipse/eclipserc.
/usr/lib/jvm/java-gcj
/usr/lib/kaffe/pthreads
/usr/lib/jvm/java-1.5.0-sun
/usr/lib/j2se/1.5
/usr/lib/j2se/1.4
/usr/lib/j2sdk1.5-ibm
/usr/lib/j2sdk1.4-ibm
/usr/lib/j2sdk1.5-sun
/usr/lib/j2sdk1.4-sun
Dopo di questo, tutto dovrebbe funzionare.
