He estado buscando por internet y he encontrado un plugin para el editor de predeterminado de Gnome, el Gedit. Éste es un editor bastante sencillo y que confieso que nunca uso, soy más de vim, aunque para este tipo de tareas, si puedo disponer de un editor que agilice un poco la tarea, mucho mejor. El caso es que éste plugin incluye combinaciones de teclas, por ejemplo para generar y previsualizar el pdf. También proporciona algunos botones para el tipo de letra, incluir items, tablas, código, gráficos, un panel lateral con los símbolos más usuales etc. En definitiva, algo parecido al kile, pero más ligero y sin errores (que el kile 2.1 para el KDE4 da bastantes problemas).
Os dejo el enlace de descarga:
Cómo instalarlo
Es muy sencillo. Se descarga el tar.gz, lo descomprimimos y llevamos el contenido, que son un directorio y un fichero (GeditLaTeXPlugin/ y GeditLaTeXPlugin.gedit-plugin), al directorio ~./gnome2/gedit/plugins .En el caso de que no exista el directorio plugins, lo creamos.
Luego abrimos en Gedit y en Editar -> Preferencias y la pestaña Complementos, activamos en GeditLatexPlugin.
Para poder compilarlo, este plugin hace uso del programa rubber, que es un sistema de construcción de documentos de latex. En caso de que no esté instalado, hacemos:
| $ sudo apt-get install rubber |
Con esto, debería de funcionar.
Enjoy!!
0 comentarios:
Publicar un comentario en la entrada