In questo post, passeremo attraverso una guida passo-passo sulla modifica delle dimensioni del carattere terminale e, insieme a ciò, impareremo anche come cambiare alcune altre preferenze di un terminale per personalizzarlo in base ai nostri gusti. I passaggi per personalizzare il carattere del terminale sono i seguenti.
Passaggio 1: aprire il terminale
Il primo passo è aprire il terminale di Ubuntu 20.Sistema 04 LTS. Puoi farlo andando al menu delle applicazioni di Ubuntu e alla ricerca del "terminale". Dai risultati della ricerca, fare clic sull'icona "terminale" come mostrato nell'immagine fornita di seguito:
Oppure puoi anche utilizzare i tasti di scelta rapida della tastiera Ctrl+alt+t Per aprire direttamente il terminale nel sistema operativo di Ubuntu.
Passaggio 2: Open Terminal Preferences
Dopo aver aperto il terminale di Ubuntu, dobbiamo aprire le preferenze del terminale per modificare la dimensione del carattere del terminale.
O puoi aprire le preferenze facendo clic sull'opzione hamburger nell'angolo in alto a destra della finestra del terminale e facendo clic sull'opzione Preferenze.
Oppure puoi fare clic con il pulsante destro del mouse ovunque tra il terminale e fare clic sull'opzione Preferenze dal menu di contesto.
Avrai una finestra di preferenza come questa.
La finestra delle preferenze ci consente di avere preferenze personalizzate e salvarle. Per questo motivo, vedi il nome del profilo "senza nome" predefinito nella barra superiore della finestra delle preferenze.
Passaggio 3: abilita la personalizzazione del carattere
Dopo aver aperto la finestra Preferenze del terminale, assicurati di essere nella scheda Testo come mostrato nell'immagine fornita di seguito:
Nella scheda Testo, fare clic sulla casella di controllo "Font personalizzato" per abilitare la personalizzazione del carattere e modificare lo stile del carattere e la dimensione del carattere.
Passaggio 4: Modifica carattere terminale
Ora puoi vedere il nome del carattere e l'opzione del carattere è diventata modificabile. Basta fare clic sul campo di input "Size Font" e verrà visualizzata una piccola finestra.
In questa piccola finestra è apparsa, puoi cercare il carattere di tua scelta e renderlo il carattere del tuo terminale.
Mentre nella sezione inferiore della finestra, hai un cursore per modificare la dimensione del carattere, oppure puoi anche fornire direttamente il carattere di tua scelta nel campo di input accanto al cursore.
Passaggio 5: salva le impostazioni
Dopo aver scelto la dimensione del carattere e del carattere giusto, non dimenticare di fare clic su Selezionare pulsante nell'angolo in alto a destra della finestra.
Una volta tornato nella finestra delle preferenze, chiudi semplicemente la finestra Preferenze per salvare le impostazioni.
Quando torni al terminale, avresti la dimensione del carattere e del carattere cambiata a scelta.
Conclusione
Ecco quanto è facile e semplice cambiare il carattere terminale e la dimensione del carattere in Ubuntu 20.Sistema 04 LTS. Solo seguendo i semplici passaggi forniti in questo post, qualsiasi principiante Linux può modificare la dimensione del carattere terminale in Ubuntu.