jueves, 18 de septiembre de 2008

GEDIT --> GEDIT 2.22.3

La explicación de este tema es hacer que nuestro editor de texto (GEDIT) tenga ciertos complementos que nos pueden ser útiles, ademas no está de más por cualquier instancia. Estos son algunos complementos que se instalarán:

  • Cambiar capitalización
  • Cifrado de texto
  • Comentar código
  • Completar paréntesis
  • Consola Python
  • Corrector ortográficoDibujar espacios
  • Espacios inteligentes
  • Estadísticas del documento
  • Herramientas externas
  • Insertar Fecha/Hora
  • Modos de línea
  • Sangrar líneas
  • Panel del examinador de archivos (muy útil al momento de editar varios archivos al mismo tiempo)
  • Terminal empotrado

Para tener estos complementos solamente realizamos por consola estos 2 comandos:
  1. wget http://no.archive.ubuntu.com/ubuntu/pool/universe/g/gedit-plugins/gedit-plugins_2.22.2-0ubuntu1_i386.deb
  2. sudo dpkg -i gedit-plugins_2.22.2-0ubuntu1_i386.deb
Al final abrimos el editor de textos, vamos al menú Editar -> Preferencias y damos clic en la pestaña Complementos y seleccionamos aquellos que vayamos a usar.

No hay comentarios: