SearchTitlesPhrases

Guida utente per l'emulatore di terminale di Gnome

Guida utente per l'emulatore di terminale di Gnome

Miguel de Icaza

Michael Zucchi

Questo documento può essere liberamente distribuito entro i termini della Licenza Pubblica Generale GNU. Traduzione italian a cura di Christopher R. Gabriel, cgabriel@pluto.linux.it.

Sommario
1. La guida utente dell'emulatore di terminale di Gnome.
1.1. Descrizione
1.2. Emulazione
1.3. Opzioni configurabili
1.3.1. Opzioni generiche
1.3.2. Configurazione dei colori
1.4. Classi di terminali
1.5. Opzioni da riga di comando
1.6. Uso del puntatore
1.6.1. Selezione
1.6.2. Incollare il testo
1.6.3. Mouse con rotella
1.6.4. Menu di controllo
1.6.5. Aprire URL
1.6.6. Drag and Drop
1.7. Menu
1.7.1. Menu File
1.7.2. Menu Modifica
1.7.3. Menu Opzioni
1.7.4. Menu Aiuto
1.7.5. Menu a tendina
1.8. Ambiente
1.9. Autori
  Avanti
  La guida utente dell'emulatore di terminale di Gnome.