Muchos usamos ‘gedit’, el editor de textos de GNOME, y sin duda es una de las herramientas más utiles para quienes desarrollamos scripts, webs y queremos un resaltado claro y sencillo.
Un usuario de esos de los que hacen falta, creo un complemento (plugin) para el editor que nos permite ver una preview de nuestros documentos o buscarlos de manera sencilla:
Para quienes deseen usarlo, esta disponible para descarga en el siguiente link:
Para instalarlo, simplemente descomprimelo en la carpeta /.local/share/gedit/plugins
Si la ubicación no existe puedes crearla con el comando:
mkdir ~/.local/share/gedit/plugins
Si usas Ubuntu o derivados, además deberás instalar el paquete ‘python-pygments’ (haciendo clic te llevará al Centro de Software de Ubuntu) o mediante terminal con el comando:
sudo apt-get install python-pygments
Tras esto, ingresa a Gedit y ve a “Editar > Preferencias > Complementos” y activa el Plugin Dashboard: