Plugins di gedit
Se si vuole usare al meglio gedit, non si possono non installare i suoi plugins che possono migliorare e facilitare il nostro lavoro. Digitare da terminale:
sudo apt-get install gedit-plugins
Tra le tante opzioni interessanti, anche quella del terminale incorporato. Si tratta di una finestra posta nello spazio in basso del vostro documento che vi fa utilizzare un terminale senza doverne aprire uno in una ulteriore finestra.Se avete tante finestre aperte e le vostre aree di lavoro occupate, questa soluzione è molto comoda(soprattutto se si deve programmare).
Per scegliere questa opzione, andate su:
Modifica--->Preferenze--->Plugin
e selezionare il terzultimo plugin terminale...Leggi il seguito »
Invia questo articolo via email













