Profili

I profili permettono all'utente di automatizzare velocemente e facilmente l'esecuzione di comandi comuni. Alcuni esempi sono:

  • accedere via ssh a un'altra macchina

  • avviare una sessione IRC

  • usare tail per sorvegliare un file

Tutti i profili nuovi e modificati sono salvati nella cartella home locale dell'utente in $XDG_DATA_HOME/konsole.

Procedura per creare un nuovo profilo:

  1. Fai clic sulla voce del menu ImpostazioniGestisci profili

  2. Passa alla pagina Profili.

  3. Fai clic sul pulsante Nuovo profilo.

  4. Riempi la prima casella con un nome. Questo è il nome che apparirà nel menu, e sarà l'etichetta predefinita invece di Shell quando avvierai una sessione di quel tipo.

  5. Inserisci un comando come faresti se avessi aperto una nuova shell, e stessi per dare quel comando. Per il nostro esempio di cui sopra, potresti scrivere ssh amministrazione.

  6. Nelle altre schede puoi configurare l'aspetto della sessione. Puoi avere diversi tipi di carattere, schema di colori e $TERM per ogni sessione.

  7. Premi il pulsante OK. La nuova sessione è ora disponibile nella finestra Gestisci profili.

Tutti i profili con Mostra nel menu segnato saranno elencati per nome menu FileNuova scheda. Non ci sarà nessun sottomenu se c'è da mostrare solo il profilo predefinito.