• TWJTTER
  • TWJTTER

Follow me...


Avvertenze

Parola di gancjo non puo’ considerarsi un prodotto editoriale ai sensi della legge n. 62 del 07/03/2001.

L’ Autore non ha alcuna responsabilita’ sui contenuti dei siti in collegamento, sulla qualita’ o correttezza dei dati. Egli si riserva la facolta’ di rimuovere le informazioni, fornite da terzi, ritenute offensive o contrarie al buon costume.

Le immagini sono correlate agli argomenti di cui si scrive. Alcune, sono provenienti da Internet e quindi valutate di pubblico dominio. Qualora i soggetti proprietari fossero contrari alla pubblicazione non dovranno far altro che segnalarlo in modo da poter procedere ad una rapida eliminazione.


Creative Commons License Questo blog è pubblicato sotto una Licenza Creative Commons.


Se qualcosa ti è piaciuto basta un click! Grazie.

Post più popolari

Ubuntu: plugin per Gedit

Scritto da Massimo Ferraris martedì 16 settembre 2008
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.

Etichette: , | edit post

0 Commenti per: Ubuntu: plugin per Gedit

Altri post correlati

E se vuoi anche in

Statistiche

Iscriviti ai feed

puoi farlo anche via email:

Delivered by FeedBurner

Scrivi a gancjo

Translate this blog

parola di gancjo in...
Se qualcosa ti è piaciuto basta un click! Grazie.
Se qualcosa ti è piaciuto basta un click! Grazie.

Lettori che mi seguono

Antipixel