Utilizzo

Come aprire e chiudere i terminali

Per aprire una nuova finestra di terminale:

Scegliere FileApri terminale (oppure fare click col tasto destro nella finestra di terminale e scegliere Apri terminale).

Il nuovo terminale eredita la cartella di lavoro dal terminale padre.

Per chiudere una finestra di terminale:

Scegliere FileChiudi finestra.

Questa azione chiude il terminale e termina ogni sottoprocesso che è stato avviato dall'interno del terminale. Se viene chiusa la finestra dell'ultimo terminale, l'applicazione Terminal termina.

Per aggiungere una nuova scheda di terminale nella finestra:

Scegliere FileApri scheda (oppure fare click col tasto destro nella finestra del terminale e scegliere Apri scheda).

Il nuovo terminale eredita la cartella di lavoro dal terminale precedentemente attivo.

Per modificare la finestra del terminale

Per nascondere la barra del menu:

Scegliere VisualizzaMostra la barra dei menu (oppure fare click col tasto destro nella finestra del terminale e scegliere Mostra la barra dei menu).

Per mostrare la barra dei menu nascosta:

Fare clck col tasto destro nella finestra del terminale e scegliere Mostra la barra dei menu dal menu a tendina.

Per mostrare o nascondere le barre degli strumenti:

Scegliere VisualizzaMostra le barre degli strumenti.

Per personalizzare le barre degli strumenti:

Per prima cosa assicurarsi che le barre degli strumenti siano visibili; quindi scegliere ModificaBarre degli strumenti....

Per mostrare o nascondere i bordi delle finestre:

Scegliere VisualizzaMostra i bordi della finestra.

Per mettere la finestra del terminale in modalità schermo intero

Scegliere VisualizzaSchermo intero dalla barra dei menu (oppure fare click col tasto destro nella finestra del terminale e scegliere Schermo intero).

Per cambiare l'aspetto della finestra del terminale:

Vedere la sezione chiamata «Preferenze» per informazioni circa le opzioni scelte nel dialogo Impostazioni del terminale per cambiare l'aspetto e il comportamento delle finestre di terminale. Per esempio, è possibile modificare il colore dello sfondo o la posizione della barra di scorrimento.

Per lavorare con i contenuti della finestre di terminale

Per scorrere i comandi e gli output precedenti:

Eseguire una delle azioni seguenti:

  • Usare la barra di scorrimento, che è solitamente posizionata sul lato destro di ogni finestra di terminale.

  • Utilizzare i tasti Shift+Page Up, Shift+Page Down, Shift+Up, Shift+Down, Shift+Home, oppure Shift+End.

  • Usare la rotella centrale del mouse se possibile

Terminal si ispira alla console FreeBSD quando viene premuto il tasto Scroll Lock. Quando il blocco dello scorrimento è attivo, l'input e l'output della shell sono sospesi ed è possibile scorrere la cronologia tramite Shift+Page Up e Shift+Page Down oppure usando l'opzionale barra di scorrimento. Premere Ctrl+S per attivare il blocco dello scorrimento e Ctrl+Q per disattivarlo successivamente.

Il numero di linee che possono essere oggetto di scorrimento è determinato dall'impostazione Scorrimento nella sezione Generale del dialogo Preferenze del terminale.

Per selezionare e copiare del testo:

E' possibile selezionare del testo in uno dei modi seguenti:

  • Per selezionare un carattere alla volta, fare click sul primo carattere che si vuole selezionare e trascinare il mouse fino all'ultimo carattere che si vuole selezionare.

  • Per selezionare una parola alla volta, fare doppio click sulla prima parola che si vuole selezionare e trascinare il mouse fino all'ultima parola che si vuole selezionare.

  • Per selezionare una linea alla volta, fare triplo click sulla prima linea che si vuole selezionare e trascinare il mouse fino all'ultima linea che si vuole selezionare.

Queste azioni selezionano tutto il testo tra il primo e l'ultimo oggetto. Per tutte le selezioni di testo, Terminal copia il testo selezionato negli appunti al momento del rilascio del pulsante del mouse. Per copiare esplicitamente il testo selezionato, scegliere ModificaCopia.

Per incollare del testo nel terminale:

Se è stato precedentemente incollato del testo negli appunti, è possibile incollare del testo all'interno del terminale attraverso una della seguenti azioni:

  • Per incollare del testo che è stato copiato tramite selezione, fare click col tasto centrale nel prompt di comando. Se non si ha il pulsante centrale nel mouse, riferirsi alla documentazione del server X per informazioni su come emulare il bottone centrale del mouse. Il tutto è equivalente a usare l'elemento Incolla selezione dal menu Modifica.

  • Per incollare del testo esplicitamente copiato. scegliere ModificaIncolla.

Per trascinare il nome di un file all'interno di una finestra di terminale:

E' possibile trascinare il nome di un file nel terminale a partire da un'altra applicazione come il gestore di file o il browser web. Il terminale mostrerà il percorso e il nome completo dell'URI.

Per accedere a un collegamento ipertestuale:

Per accedere a un Uniform Resource Locator (URL) che è visualizzato in una finestra di terminale, eseguire i passi seguenti:

  1. Spostare il mouse sulla URL fintantoché la URL non è sottolineata.

  2. Fare click col tasto destro sull'URL per aprire il menu di contesto.

  3. Scegliere Apri collegamento/guimenuitem> dal menu di contesto per avviare il browser web preferito e visualizzare il file posizionato alla URL.

Per comporre un'email:

Per comporre un'email verso l'indirizzo che è mostrato nella finestra del terminale, eseguire i passi seguenti:

  1. Spostare il mouse sopra l'indirizzo mail fintantoché l'indirizzo email è sottolineato.

  2. Fare click col tasto destro sopra l'indirizzo email per aprire il menu di constesto.

  3. Scegliere Componi email dal menu di contesto per comporre un'email nel lettore di posta preferito.

Per cambiare il titolo del terminale

Dialogo imposta titolo

Per cambiare il titolo del terminale visualizzato correntemente, eseguire i tre seguenti passi:

  1. Scegliere TerminaleImposta titolo... oppure fare doppio click sull'intestazione della scheda del terminale.

  2. Digitare il nuovo titolo all'interno della casella di testo Titolo. Terminal applicherà il cambiamento immediatamente.

  3. Fare click sul pulsante Chiudi oppure premere il tasto Invio per chiudere il dialogo Imposta titolo .

Per reimpostare il titolo del terminale al comportamento predefinito, eseguire gli stessi tre passi descritti sopra lasciando il titolo vuoto.

Terminal sostituirà i seguenti termini:

  1. %d : nome (breve) della cartella corrente.

  2. %D : cartella corrente (nome esteso)

  3. %w: titolo della finestra impostato dalla shell.

  4. %# : id della sessione.

Per ripristinare il terminale

Questa sezione fornisce alcuni suggerimenti in caso di problemi con i terminali.

Per reimpostare lo stato del terminale:

Scegliere TerminaleReimposta.

Per reimpostare il terminale e cancellare lo schermo del terminale:

Scegliere TerminaleReimposta e cancella.

E' altresì possibile utilizzare i comandi della shell reset e clear per ripristinare il terminale.

Per personalizzare le barre degli strumenti

Come già accennato, Terminal include il supporto per la personalizzazione delle barre degli strumenti. Di norma, le barre degli strumenti sono disabilitate e occorre abilitarle esplicitamente. scegliere VisualizzaMostra le barre degli strumenti dalla barra dei menu per mostrare le barre degli strumenti nella finestra corrente. Per utilizzare permanentemente le barre degli strumenti, si veda la sezione chiamata «Aspetto».

Una volta che le barre degli strumenti sono visualizzate, scegliere ModificaBarre degli strumenti... dalla barra del menu oppure fare click col tasto destro su una delle barre degli strumenti e scegliere Personalizza la barra degli strumenti... dal menu di contesto. Verrà aperta la finestra Editor delle barre degli strumenti, la quale consente di personalizzare le barre degli strumenti nella finestra di terminale corrente.

Personalizzare le barre degli strumenti

Semplicemente trascinare un oggetto dalla finestra dell'Editor delle barre degli strumenti e portarlo nella barra degli strumenti per aggiungere quell'oggetto nella specifica barra degli strumenti; oppure trascinare un oggetto dalla barra degli strumenti all'Editor delle barre degli strumenti per rimoverlo dalla barra degli strumenti. E' possibile aggiungere ulteriori barre degli strumenti facendo click sul pulsante Aggiungi una nuova barra degli strumenti e rimuovere le barre degli strumenti facendo click col tasto destro sulla barra degli strumenti e selezionando Rimuovi la barra degli strumenti dal menu di contesto. E' anche possibile scegliere diversi stili per la barra degli strumenti attraverso il menu di contesto.

Per scegliere tra diverse codifiche

Terminal non include (per il momento) nessun supporto integrato per cambiare al volo la codifica in una sessione di terminale. Tuttavia dal momento che Terminal implementa una modalità UTF-8, è possibile utilizzare l'applicazione Luit per cambiare tra diverse codifiche di caratteri all'interno di una sessione di terminale.