GNU/Linux >> Linux Esercitazione >  >> Ubuntu

Modifica la dimensione del carattere Terminale Ubuntu

La maggior parte degli utenti Linux trascorre molto tempo utilizzando il terminale per una varietà di scopi, dall'installazione di nuovo software, alla manutenzione del sistema, al controllo dei dettagli hardware e a molte altre attività. Quindi ha senso personalizzare il terminale per dargli un aspetto più personale.

In questo articolo, vedremo come modificare il carattere e la dimensione del carattere del terminale, con alcune modifiche più interessanti.

Fase 1:apri una nuova finestra di terminale

Il primo passaggio del processo consiste nell'aprire una nuova finestra del terminale in cui è possibile apportare le modifiche necessarie. Quindi aprilo dalla barra laterale di Ubuntu o premi Ctrl + Alt + T sulla tastiera.

Passaggio 2:vai su Impostazioni

Il passaggio successivo è accedere all'opzione Impostazioni nel terminale.

Qui puoi impostare la tua configurazione personale per il terminale. È importante notare che queste impostazioni sono per lo più limitate all'aspetto del terminale, non alla funzionalità. Quindi non dovresti preoccuparti di modificare accidentalmente alcune impostazioni delle funzioni della riga di comando, poiché non è il caso qui. Puoi utilizzare le impostazioni per creare un nuovo profilo che contenga e salvi tutte le tue impostazioni e le ricarichi ogni volta che le usi.

Vai avanti e fai clic con il pulsante destro del mouse in un punto qualsiasi del terminale e dovrebbe apparire un menu a discesa. Seleziona l'opzione Impostazioni dal menu. Questo può essere fatto anche utilizzando il pulsante con le tre linee parallele in alto a destra dello schermo.

Fase 3:crea un profilo

Prima di impostare le nostre preferenze e modificare le impostazioni dei caratteri, dobbiamo prima creare un nuovo profilo. Fai clic sul pulsante + accanto alla scheda Profili per iniziare.

Successivamente ti verrà chiesto di inserire un nome per il profilo. Ogni profilo appena creato riceve inizialmente le impostazioni standard, come puoi vedere nella finestra di dialogo. Tuttavia, una volta che avremo il profilo pronto, modificheremo queste impostazioni a nostro piacimento.

Fase 4:modifica le impostazioni dei caratteri

Con il nostro nuovo profilo, è ora di impostare le nostre preferenze sui caratteri del terminale. Il primo passo è selezionare la casella accanto all'opzione Carattere personalizzato. In questo modo possiamo scegliere qualsiasi carattere di nostra scelta e impostarne la dimensione.

Come puoi vedere, il carattere Monospace predefinito è Regolare con dimensione 12. Tuttavia, possiamo cambiarlo facilmente. Fai clic sul nome del carattere e vedrai un elenco di caratteri. Ci sono molte opzioni tra cui scegliere e puoi provare quella che ti piace di più. Se stai cercando qualcosa in particolare, puoi semplicemente digitarlo e cercarlo nella casella di ricerca. C'è anche un'impostazione della dimensione del carattere nella parte inferiore con cui puoi giocare. Una volta che hai deciso, premi il pulsante Seleziona in alto a destra e guarda come appare il tuo carattere nel terminale.

Fase 5:seleziona il tuo profilo

Dopo aver finito con la configurazione del font, il passaggio finale è selezionare il profilo che hai creato. Per fare ciò, fai clic sul piccolo pulsante a freccia accanto al nome del profilo e seleziona Imposta come predefinito. Quando ciò è fatto, sei a posto. Riavvia il terminale e le impostazioni dei caratteri dovrebbero avere effetto.

Modifiche aggiuntive

Ora che abbiamo affrontato la "carne" della questione, diamo un'occhiata ad altri possibili aggiustamenti che possiamo apportare alle nostre esigenze personali al terminal.

Torna al menu Impostazioni e vedrai più opzioni di personalizzazione proprio accanto alla scheda Testo. Queste opzioni sono colori, scorrimento, comando e compatibilità. In questa sezione discuteremo brevemente alcune di queste opzioni.

Cominciamo con i colori. C'è una casella di controllo appena sotto l'intestazione Colore testo e sfondo. Per attivare la configurazione utente, è necessario disattivare l'opzione “Usa i colori dal design del sistema”. Successivamente, abbiamo un sacco di opzioni da esplorare. Puoi provare schemi integrati, sperimentare con i colori dello sfondo e del testo, scegliere una tavolozza a tua scelta e molto altro. Sentiti libero di giocare con queste opzioni perché c'è sicuramente molto da esplorare qui.

Ora che abbiamo finito di impostare le nostre preferenze, vediamo come appaiono i risultati.

Infine, esploreremo la scheda Scorrimento. Qui puoi scegliere se vuoi mostrare la barra di scorrimento accanto al testo o scorrere l'output. Inoltre, puoi anche modificare se desideri disattivare lo scorrimento premendo i tasti e impostare un limite numerico per lo scorrimento indietro.

diploma

In questo tutorial abbiamo imparato come cambiare il tuo carattere e la dimensione del carattere del testo nel tuo terminale. Può essere un enorme sollievo per qualcuno che è un utente avido e regolare di Terminal poiché la personalizzazione rende tutto più semplice e conveniente.


Ubuntu
  1. Come controllare la dimensione totale del disco rigido nel terminale di Ubuntu

  2. Come modificare la dimensione dell'icona del desktop in Ubuntu 16.10?

  3. Aumentare la dimensione del carattere di Putty?

  4. Terminale Ubuntu

  5. Come modificare la dimensione del carattere del terminale in Ubuntu

Come modificare la risoluzione dello schermo tramite il terminale di Ubuntu

Come modificare la dimensione del testo in Ubuntu 20.04 LTS

Come modificare il carattere e la dimensione del carattere del terminale Ubuntu

Come modificare la dimensione del cursore sul desktop di Ubuntu

Come modificare il terminale predefinito in Ubuntu

Cambia fuso orario in Ubuntu 18.04