Gedit Logo
Gedit es un editor que ha sido diseñado para ser simple y rápido. Seguro que todos los conoceis, sobre todo a la hora de editar archivos desde la terminal, con:
$ sudo gedit archivo
Dispone un sistema de plugins que puede hacerlo mucho más potente. Y os voy a decir cómo aplicarlos, entre los complementos tenemos:
- Cambiar capitalización
- Cifrado de texto
- Comentar código
- Completar paréntesis
- Consola Python
- Corrector ortográfico
- Dibujar espacios
- Espacios inteligentes
- Estadísticas del documento
- Herramientas externas
- Insertar Fecha/Hora
- Modos de línea
- Sangrar líneas
- Panel del examinador de archivo
- Terminal empotrado
Pues bien, si quieres tenerlos, solo hay que descargar el archivo debian:
$ wget http://no.archive.ubuntu.com/ubuntu/pool/universe/g/gedit-plugins/gedit-plugins_2.22.2-0ubuntu1_i386.deb
E instalarlo:
$ 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.
Visto en | Ubuntu Destiny
Comentarios recientes