despuesdegoogle

Plugins para Gedit

El editor predeterminado de Gnome cuenta con una extensa colección de complementos o extensiones, tal como es habitual con muchos de los programas libres: Firefox o Nautilus, por ejemplo.
Esta es una de las grandes ventajas del software libre, aunque en muchas ocasiones no se publicita lo sufucuente.
¿Sabías que Gedit dispone de plugins, que vienen incorporados de serie pero están desactivados en su mayoría? Puedes acceder a ellos desde Editar -> Preferencias -> pestaña Complementos En mi caso, Gedit 2.22.1 en Ubuntu Hardy, son 14 en total:

Pero puedes instalar más. Otros 9 plugins, que forman el paquete gedit-plugins:

sudo apt-get install gedit-plugins

Y todavía tienes un centenar más de plugins, desarrollados por terceros, y que puedes descargar e instalar individualmente.
Con la invitación a que si creas alguno lo subas para poder compartirlo con los usuarios de Gedit. También te explican cómo escribirlos, con C o Python

Vía Tombuntu

Compártelo

Entradas relacionadas: