Ubuntu: plugin per Gedit

Più di una volta ci è capitato di andare a modificare file in Ubuntu procedendo da riga di comando. Tramite l'accesso come root (sudo) ed il comando Gedit siamo in grado di visualizzare il suo contenuto e modificarlo. L'uso più frequente è sicuramente quando lo si usa per aggiornare la sources.list. Ma questo editor di testo, usato in modo alquanto spartano da terminale, può diventare un utile strumento per la programmazione grazie alla disponibilità di alcuni plugin totalmente personalizzabili. Con essi si può ad esempio:
  • Applicare un rientro alle righe
  • Cambiare minuscolo/maiuscolo e viceversa
  • Commentare e decommentare un blocco di codice
  • Aggiungere in automatico le parentesi di chiusura
  • Aprire console Phyton interattive
  • Avere un correttore automayico sempre disponibile
  • .....
 L'installazione è molto semplice ed avviene in due passaggi, digitando quanto segue nel terminale:
wget http://no.archive.ubuntu.com/ubuntu/pool/universe/g/gedit-plugins/gedit-plugins_2.22.2-0ubuntu1_i386.deb
e quindi
sudo dpkg -i gedit-plugins_2.22.2-0ubuntu1_i386.deb
Per attivare i plugin dovete andare in Applicazioni => Accessori => Editor di testo, quindi una volta aperto il programma in Modifica => Preferenze => Plugin.

Reactions

Posta un commento

0 Commenti

Close Menu