nov 26
Digg
Technorati
Delicious
condividi su Facebook

Gedit: impariamo a conoscerlo meglio [Shortcuts e Plugin]

 

 

Gedit, l’editor di testo predefinito di Ubuntu e dei sistemi Gnome , rappresenta uno strumento utilizzato davvero spesso dagli utenti nel quotidiano ma, la maggior parte di essi, forse non lo conosce così bene ed è inconsapevole di alcune delle caratteristiche è in grado di offrire. Innanzitutto, Gedit dispone di molte opzioni che si trovano in editor di testo comuni ma è anche espandibile grazie ad all’utilizzo di plugin . Cosa molto importante, a mio avviso, è poi quella di imparare almeno una serie di scorciatoie da tastiera ed una serie di combinazioni di tasti rapidi per poter eseguire velocemente alcune operazioni.

Continua la lettura con la fonte di questo articolo:
Gedit: impariamo a conoscerlo meglio [Shortcuts e Plugin]

 

Parole chiave per questo articolo:


lug 17
Digg
Technorati
Delicious
condividi su Facebook

Scorciatoie da tastiera per il Terminale di Gnome

 

Ciao a tutti, questa volta vi voglio parlare delle scorciatoie da testiera che si possono fare con il Terminale di Gnome del nostro caro Ubuntu. Queste “scorciatoie” in realtà non sono altro che la digitazione, in contemporanea, di alcuni tasti per compiere determinate azioni che ora vedremo: Full Screen: F11 Help: F1 Aprire nuova scheda: Ctrl + Shift + t Aprire nuova finestra: Ctrl + Shift + n Chiudere scheda: Ctrl + Shift + w Chiudere finestra: Ctrl + Shift + q Copiare testo selezionato: Ctrl + Shift + c Incollare testo: Ctrl + Shift + v Muoversi tra le schede: Alt 1, Alt 2, etc Aumentare lo Zoom: Crtl + (più) Ridurre lo Zoom: Ctrl – (meno) Spero possano essere utili a qualcuno..

Per approfondire consulta la fonte:
Scorciatoie da tastiera per il Terminale di Gnome