Configurar Gedit para que sea mucho más completo.

gedit

El editor de texto plano de Gnome es una excelente herramienta tanto si lo utilizamos para escribir, programar o editar cualquier archivo. Sus características las podeis ver aquí.

Aunque con al configuración por defecto es de por si bastante completo, podemos ampliar aún mas sus características.

  • Esto es mas personal que otra cosa, pero yo le cambio el nombre en el menú por “gedit”, para que Gnome Do lo encuentre así, ya que no me acostumbro a buscarlo por “Text Editor” o “Editor de textos” si estais en español.
  • Instalar los siguientes paquetes: gedit-common gedit-plugins gedit-latex-plugin , ya sea por consola con sudo apt-get install “los paquetes” o por synaptic. El paquete gedit-latex-plugin no es necesario si no vais a editar documentos con LaTeX.
  • En Editar>Preferencias, activar Mostrar número de linea, y subrayar linea actual, en la pestaña Editor podemos hacer un poco mas corto el ancho del tabulador (o mas largo), y configurar la frecuencia con la que automaticamente se guardara el archivo.
  • En la pestaña Plugins de Preferencias, podemos mejorar notablemente activando “Bracket Completion” para que nos complete los paréntesis y llaves cuando estamos escribiendo en algún lenguaje, lo que facilita enormemente el trabajo.
  • El plugin “Change Case”, puede ser útil cuando necesitamos cambiar entre mayúsculas y minúsculas un gran número de lineas o una línea grande.
  • Para comentar muchas lineas rápidamente (o descomentarlas) utilizaremos el plugin “Code Comment“.
  • Document Statics” nos da información extra de nuestro archivo.
  • Podemos integrar un panel con un navegador de archivos con “File Browser Pane“.
  • Usaremos “Snippets” para insertar palabras o trozos de código que usemos habitualmente.
  • Session Saver” para guardar el estado de nuestros archivos y pestañas y poder retomarlos después.

Además podemos añadir plugins de terceros. Para ello tendremos que copiar dichos plugins en la carpeta ~/.gnome2/gedit/plugins (si la carpeta plugins no está creada, creadla). Luego podremos activar los plugins como cualquier otro desde Preferencias.

  • El plugin de terceros que más me gustó fue este (hay que guardar los dos archivos).

Con esto nos queda un Gedit mucho más completo, que podreis mejorar aún más con muchos otros plugins, espero que os sea útil.

Responder

Introduce tus datos o haz clic en un icono para iniciar sesión:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Cerrar sesión / Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Cerrar sesión / Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Cerrar sesión / Cambiar )

Google+ photo

Estás comentando usando tu cuenta de Google+. Cerrar sesión / Cambiar )

Conectando a %s

A %d blogueros les gusta esto: