Benvenuti in Ubuntu Tricks

Benvenuti!
Questo blog è stato creato con l'intento di raccogliere e raggruppare informazioni su Linux, in particolare sulla distribuzione Ubuntu. Saranno postati trucchi&consigli, ma anche programmi poco conosciuti che offrono servizi molto utili. Speriamo che questi post possano aiutarvi a farvi scoprire o ri-scoprire il vasto mondo di questo versatile sistema operativo.

Gli Amministratori:
- Noah -

domenica 17 ottobre 2010

Modificare le dimensioni della finestra del Terminale di GNOME

Con questo procedimento potrete modificare a vostro piacimento le dimensioni del terminale tutte le volte che vorrete senza dover reimpostare la grandezza ad ogni avvio.


Aprite il terminale e digitate questo comando
sudo gedit /usr/share/vte/termcap/xterm
Ala riga 10 dovrebbe esserci:
:co#80:it#8:li#24:
Il numero dopo :co indica il numero delle colonne, mentre il numero dopo :li indica il numero di righe
Per esempio se vorrete un terminale con una risoluzione 132x25 basta modificare la riga sopra descritta in questo modo
:co#132:it#8:li#25:
Ecco il risultato:

Nessun commento:

Posta un commento