jEdit - Instalación en Debian
Descripción del programa
jEdit es un potente editor de textos libre y multiplataforma. Es extensible mediante plugins, tiene su propio administrador de plugins en el que podemos ver información de multitud de ellos e instalarlos. Es especialmente útil para escribir código en multitud de lenguajes de programación, sin olvidar todas las funcionalidades propias de un potente editor de textos.
Uso del programa
El uso básico del programa es bastante intuituvo, y para aprender rápidamente podemos configurarlo para que al arrancar nos de "El consejo del día (Tip of the day en inglés)".
Instalación de Plugins: Hay varios servidores que podemos elegir en las opciones del programa para descargar los plugins, el que viene por defecto actualmente no va bien, probar con otros servidores si tenemos problemas para instalar los plugins
Instalación del programa
El programa está escrito en lenguaje de programación Java, por tanto, necesitamos tener instalada una plataforma de Java en nuestro sistema. La plataforma que viene instalada por defecto en Debian, no es compatible con jEdit, por tanto necesitamos instalar en nuestro sistema la plataforma de Java de Sun, y configurarla para que sea la que use el sistema por defecto, entonces desde ésta, ejecutaremos el instalador basado en Java de jEdit. He aquí los pasos de instalación:
- Abrir un Terminal
- Escribir su tecla intro, introducir la contraseña y tecla intro otra vez
- Escribir en la terminal aptitude install sun-java6-jdk o la versión más reciente de Java
- Seguir todos los pasos de instalación de Java que vayan saliendo
- Escribir en la terminal update-alternatives --config java y tecla intro. (Si no sale nada posiblemente es que no tenemos instalado el paquete perl, instalarlo entonces) Nos saldrán todas las versiones de Java que tenemos instaladas, teclear el número en la que esté ...java-6-sun... y tecla intro.
- Descargar la última versión de jedit de la página Web de jEdit no descargar un archivo .deb sino el archivo Java-based installer. En concreto para este tutorial yo descargé el archivo jedit4.3pre16install.jar
- Mediante el terminal, ir al directorio donde está el archivo descargado, y escribir java -jar jedit4.3pre16install.jar u otro nombre de archivo si descargamos otra versión de jedit.
- A pesar de ser una aplicación Java, podremos crear un lanzador en el escritorio, u otro sitio que tenga el simple comando jedit
Si se nos dice que no existe el paquete, agregar a /etc/apt/sources.list las siguientes líneas:
deb http://ftp.de.debian.org/debian/ testing main contrib non-free
deb-src http://ftp.de.debian.org/debian/ testing main contrib non-freey posteriormente haz en la terminal un aptitude update
.
