Desarrollé aplicaciones web con PHP en los tiempos heróicos de la era AF (Antes de los Frameworks :P), en ese entonces el repositorio de paquetes PEAR y el motor de plantillas Smarty eran el boom, ya que por un lado tenías la versatilidad de las clases reusables cuando la orientación de objetos estaba en pañales en PHP y por el otro lado lograbas separar tu código de la vista HTML de una manera muy cómoda.
Eran también los tiempos en que las IDE's FLOSS no tenían soporte para PHP, pero por suerte me encontré con un proyecto llamado jEdit, el cual se convirtió en mi amigo inseparable, porque aunque es un editor para programadores de propósito general se le puede agregar, vía plugins o macros, una gran cantidad de funcionalidad.
Para los que no han escuchado hablar de jEdit, allí les dejo un par de párrafos de la wikipedia:
[quote]
jEdit es un editor de texto libre, distribuido bajo los términos de la Licencia pública general de GNU. Está escrito en Java y se ejecuta en Windows, GNU/Linux, Mac OS X y otros sistemas operativos que dispongan de la máquina virtual Java.
JEdit dispone de docenas de plugins para diferentes áreas de aplicaciones. Soporta de forma nativa el resaltado de sintaxis coloreado de la sintaxis para más de 200 formatos de fichero. También se puede incluir nuevos formatos de forma manual utilizando ficheros XML. jEdit soporta UTF-8 y otros formatos de codificación del texto.
[/quote]
Manos a la obra:
Los siguientes pasos describen la instalación en una Distro Debian / [x]Ubuntu, de la versión estable de jEdit desde los repositorios oficiales del proyecto.
Partimos asumiendo que se encuentra instalado en el Sistema como mínimo la versión 6 de la máquina virtual de Java. Para verificar esto podemos usar el comando:
java -version
En mi caso la salida es:
java version "1.7.0_09"
OpenJDK Runtime Environment (IcedTea7 2.3.3) (7u9-2.3.3-0ubuntu1~12.04.1)
OpenJDK 64-Bit Server VM (build 23.2-b09, mixed mode)
Instalamos la clave pública con la cual están firmados los paquetes del repositorio:
sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys E6A233DBE3AFBEFC
Y obtenemos una salida como la siguiente:
Executing: gpg --ignore-time-conflict --no-options --no-default-keyring --secret-keyring /tmp/tmp.TzvK2kKUkp --trustdb-name /etc/apt/trustdb.gpg --keyring /etc/apt/trusted.gpg --primary-keyring /etc/apt/trusted.gpg --keyserver keyserver.ubuntu.com --recv-keys E6A233DBE3AFBEFC
gpg: requesting key E3AFBEFC from hkp server keyserver.ubuntu.com
gpg: key E3AFBEFC: public key "Björn Kautler " imported
gpg: Total number processed: 1
gpg: imported: 1
Agregamos en nuestro sistema la configuración del repositorio para jEdit:
echo "deb http://switch.dl.sourceforge.net/project/jedit /" | sudo tee /etc/apt/sources.list.d/jedit-stable.list
El comando tee lee de la entrada estándar, la salida del comando echo y escribe al archivo de repositorio jedit-stable.list.
Podemos verificar que el archivo se creó con el contenido correcto con:
more /etc/apt/sources.list.d/jedit-stable.list
La salida debe ser:
deb http://switch.dl.sourceforge.net/project/jedit /
Actualizamos la lista de paquetes:
sudo apt-get update
Instalamos jEdit:
sudo apt-get install jedit
Lo ejecutamos buscándolo en el menú de arranque de nuestro sistema o con el comando:
jedit
Para finalizar les dejo un par de screenshots, luego de instalados unos cuantos plugins y perzonalizadas un par de cosas:
Saludos, y una buena semana para todos! ;)