Generalmente cuando tengo que escribir codigo empleo Eclipse, pero cuando necesito tomar una nota rapida, o preparar una documentacion no empleo este entorno de desarrollo y prefiero usar un editor de texto mas liviano. Ultimamente he empezado a utilizar JEdit, es un editor de texto enfocado a programadores, pero tambien puede ser empleado por un usuario normal, como sustituto a los editores de texto que vienen incorporados en el escritorio.
Soporta resaltado de sintaxis para muchos lenguajes de programacion.
Me gusta pues es bastante extensible mediante Plugins. Hay plugins para formatear el texto, ejecutar SQL, e incluso para conectar y editar textos remotamente mediante FTP.
Nota: requiere de Java para que funcione en tu maquina. Para instalarlo realizamos los siguientes pasos:
Añadimos las siguientes lineas al fichero /etc/apt/sources.list
deb http://dl.sourceforge.net/sourceforge/jedit ./ deb-src http://dl.sourceforge.net/sourceforge/jedit ./
Despues ejecutamos:
$ sudo apt-get update
$ apt-get install jedit
Para iniciarlo ejecutamos:
$ jedit
No te olvides de añadir el plugin BufferTabs, te permite tener pestañas con todos los ficheros abiertos. Para añadirlo seleccionas la opcion: Plugins > Plugin Manager > Install y marcas para instalar la opcion “BufferTabs”.
Una vez instalado lo configuras desde Plugins > Plugins Options, por ejemplo cambiando la orientacion de las pestañas a la parte superior, por defecto aparecen en la parte inferior.
Pantallazos JEdit
Listado de Plugins