Añadiendo funcionalidad a Gedit

gedit

Gedit es el editor texto por defecto de Gnome en la mayoría de las distribuciones de Linux. Por defecto, implementa las funciones básicas de un editor de texto, pero a través de su sistema de plugins lo podemos convertir en un poderoso editor. Por defecto Gedit incorpora los siguientes plugins: • Change case: cambia una selección de texto a mayúsculas o minúsculas. • Document statistics: te da información sobre un documento. • External tools: ejecuta comandos del sistema operativo. • File browser: te permite acceder al sistema de ficheros. • Indent: identa las líneas seleccionadas. • Modelines: Soporte del modo de línea de Emacs, Kate y Vim. • Python console: consola de python. • Snippets: ayuda al editado rápido de los bloques de texto más usados. • Sort: ordena un documento o una selección de texto. • Spell: Verifica la ortografía. • Tag list: te ayuda con la inserción de etiquetas o texto de uso frecuente. • Insert Date/Time: inserta la fecha y la hora en la posición del cursor.

En Gnome live podéis encontrar una lista enorme de plugins adicionales. Para instalar estos plugins, tienes que descargarte el plugin en concreto y ponerlo en ~/.gnome2/gedit/plugins/. Puede que este directorio no exista y por lo tanto tengas que crearlo. Una vez hayamos puesto el/los plugins en dicho directorio, tienes que ir al menu Edit->Preferences (Supongo que en español será editar->preferencias, lo siento, pero tengo el sistema en inglés) y luego ir a la pestaña de Plugins. Una vez aquí se nos muestra la lista de todos los plugins que tenemos disponibles y debemos marcar los que queremos activar.