Plugin Gedit Utili per Sviluppatori Software

Gedit, come molti di voi già sanno, è un popolare editor di testo generico. Gedit è l’editor di testo predefinito per le distribuzioni Linux che utilizzano l’ambiente desktop GNOME. La prima cosa che noti di Gedit è la sua interfaccia utente elegante e ordinata. È anche un’applicazione leggera, il che è un altro vantaggio.

Gedit offre quasi tutte le funzionalità che ci si aspetta da un semplice editor di testo, ma se questo non è sufficiente per te, puoi aggiungere ulteriori funzionalità con i plugin. Ci sono diversi plugin Gedit - per vedere l’elenco completo, apri l’applicazione Gedit sul tuo sistema e vai su Modifica->Preferenze->Plugin.

Di seguito è riportato uno screenshot della scheda Plugin nella mia applicazione Gedit:

Noterai che alcuni dei plugin disponibili sono attivati per impostazione predefinita, mentre altri no. Per attivare un plugin, fai clic sulla casella vuota corrispondente al plugin. Per disattivare un plugin, fai clic su una casella già selezionata.

Per impostazione predefinita, Gedit non offre molte funzionalità per i programmatori, ma questo può essere cambiato se installi e attivi (se necessario) alcuni plugin utili legati allo sviluppo. Se sei uno sviluppatore software e vuoi sfruttare al meglio Gedit per scopi di sviluppo, sei nel posto giusto, perché in questo tutorial presenteremo alcuni plugin Gedit davvero utili legati alla programmazione.

Plugin Gedit utili legati allo sviluppo

1. Snippets

Se sei un utente della riga di comando di Linux, probabilmente stai utilizzando la funzione di completamento automatico di Bash, che - per chi non lo sapesse - completa automaticamente i nomi di file/directory non appena l’utente preme il tasto TAB dopo aver scritto i primi caratteri del nome.

Forse non proprio nello stesso modo. Il plugin snippets in Gedit funziona in modo simile. Prima di andare oltre, attiviamo rapidamente il plugin:

Se non c’è un’entrata per snippets, significa che il plugin non è installato. Per installarlo, esegui il seguente comando:

sudo apt install gedit-plugins

Questo dovrebbe installare Snippets e alcuni altri plugin Gedit. Se hai problemi con il comando sopra, puoi probabilmente trovare aiuto qui.

Ora che il plugin è installato e attivato, puoi facilmente testarlo scrivendo un piccolo pezzo di codice. Ad esempio, ho scritto la parola “class” in un file di intestazione in un progetto C++ e poi ho premuto il tasto TAB. Questo è ciò che ha fatto il plugin:

Il modello di codice evidenziato nello screenshot sopra è stato creato automaticamente grazie a Snippet. Ora che hai un’idea di cosa può fare questo plugin, diamo un’occhiata veloce a cosa dice la documentazione ufficiale di Snippets riguardo al plugin (così puoi capirlo meglio):

“L’idea è che gli utenti possano creare piccoli tag che si espandono in un frammento di testo,” dice il documento. “Quando il tag viene inserito nella vista di Gedit e si preme , si espande nel frammento di testo. L’utente può impostare punti di inserimento nel frammento in modo che quando si preme di nuovo , il cursore salti al punto di inserimento successivo. È molto semplice e un po’ come TM (anche se probabilmente ha bisogno di alcune funzionalità aggiuntive).”

Per ulteriori informazioni sul plugin, vai qui.

2. File Browser

Una delle funzionalità di base e molto utili offerte da un IDE di programmazione è il file browser, che ti consente di accedere facilmente o passare tra diversi file di un particolare progetto o del sistema in generale. Sì, hai indovinato bene, la funzionalità del file browser può essere aggiunta anche a Gedit tramite un plugin.

Il plugin si chiama File Browser Panel, e la cosa buona è che non devi abilitarlo esplicitamente, poiché è abilitato per impostazione predefinita.

Ora la domanda è come aggiungere il pannello laterale all’interfaccia utente di Gedit. Questo è molto semplice: fai clic sull’opzione “Pannello laterale” nel menu “Visualizza”. Vedrai che il pannello laterale appare sul lato sinistro, lì selezioni ‘File Browser’ in alto:

Nota: Per aprire e chiudere rapidamente il pannello delle pagine, puoi premere il tasto F9 ogni volta - questa è un’alternativa facile per richiamare l’opzione Pannello delle pagine nel menu Visualizza ogni volta che vuoi attivare la funzione.

Nella parte superiore della barra laterale, puoi alternare tra la vista Documento e il File Browser. La vista documento elenca i documenti attualmente aperti in Gedit.

Ogni volta che ti trovi in una directory ricercabile, una barra di ricerca appare direttamente sopra le icone in basso, consentendoti di cercare file in quella directory.

3. Terminale Integrato e Console Python

C’è un altro plugin di sviluppo molto utile che puoi utilizzare: Terminale Integrato. Per installare questo plugin, esegui il seguente comando nel terminale:

sudo apt install gedit-plugins

Se utilizzi Linux come piattaforma di sviluppo, il terminale della riga di comando è una parte indispensabile del tuo lavoro. E se utilizzi Gedit come editor di programmazione, sarai felice di sapere che puoi incorporare un terminale della riga di comando nell’editor con il plugin Terminale Integrato menzionato sopra.

Una volta attivato il plugin nel menu Impostazioni, vai semplicemente al menu Visualizza e fai clic sull’opzione Pannello Inferiore. Vedrai che un terminale della riga di comando appare in forma integrata nella parte inferiore dell’interfaccia utente dell’editor:

È difficile immaginare quanto tempo puoi risparmiare con questo plugin, specialmente se lavori principalmente con la riga di comando. Oltre al normale terminale Linux, è disponibile anche una console Python. Puoi abilitare la console Python nello stesso modo in cui hai abilitato il Terminale.

Conclusione

I tre plugin di cui abbiamo discusso in questo tutorial dovrebbero essere sufficienti per darti un’idea di quanto sia facile estendere la funzionalità di Gedit per renderlo più adatto agli sviluppatori. Se guardi attentamente, tutti e tre i plugin - Snippets, File Browser e Terminale Integrato - possono rivelarsi utili anche se non sei un appassionato di programmazione.

Naturalmente, questo è solo la punta dell’iceberg, poiché ci sono molti altri plugin legati allo sviluppo per Gedit. Cercheremo di raccogliere un pugno di altri plugin utili e pubblicare la parte 2 di questo tutorial presto.