È possibile cambiare il carattere del terminale?

53

Vorrei cambiare il carattere nel Terminale, come posso raggiungere questo obiettivo?

command-line fonts

— Fawkes5
fonte

2

Quale terminale? Sublime text 2 è installato sul tuo sistema?

— Marty Fried,

2

e quale carattere? -

— Anwar,

Il testo Sublime 2 è installato. Il tipo di carattere che mi interessa è il tipo di carattere predefinito che sublime installa. Non riesco a trovarne il nome

— Fawkes5

1

Vedi anche Come si chiama il font Debian / Ubuntu (TTY) predefinito? e 7 dei migliori caratteri Ubuntu Terminal (larghezza fissa)

— Hans Ginzel,

46

Terminale Bash:

Menu, Modifica => Preferenze profilo => scheda Generale ; deseleziona Usa il carattere a larghezza fissa del sistema e seleziona il carattere desiderato.

Per il terminale xterm generale, è necessario creare un file ~/.Xresourcese aggiungere impostazioni ad esso, ad esempio xterm*font: Sublime\ Text\ 2-12per 12 punti (questa è una supposizione, non so se sia totalmente corretto).

— Marty Fried
fonte

Il mio terminale gnome si arresta in modo anomalo quando deseleziono la casella di controllo "usa il carattere a larghezza fissa del sistema". C'è un modo per modificare o cancellare questa impostazione senza passare attraverso questa GUI?

— Jonathan Hartley,

Non esiste un menu chiamato "Modifica" in Ubuntu 18.04 o Ubuntu 18.04. Forse aggiorni la tua risposta per includere anche le versioni più recenti di Ubuntu?

— Peter Mortensen,

O almeno contrassegnarlo, ad es. "Per Ubuntu 9 tramite Ubuntu 16.04:" o simile (ho creato la gamma di versioni in questo esempio).

— Peter Mortensen,

30

Anche se non hai menzionato il tipo di carattere che stai utilizzando o il terminale a cui ti riferisci, sto dando una risposta generale per cambiare carattere in gnome-terminal.

Sto dando due modi per farlo, sebbene entrambi siano relativamente vicini l'uno all'altro

Modo formale

Aprire il terminale premendo Ctrl+ Alt+ T.
Quindi vai dal menu Modifica → Profili . Nella finestra di modifica del profilo, fai clic sul Editpulsante.
Quindi, nella scheda Generale , deseleziona Usa il carattere a larghezza fissa del sistema , quindi seleziona il carattere desiderato dal menu a discesa

Modo più semplice

Aprire il terminale premendo Ctrl+ Alt+ T.
Fare clic con il tasto destro sul terminale, dal menu a comparsa visualizzato, selezionare Profili → Preferenze profilo
Quindi, nella scheda Generale , deseleziona Usa il carattere a larghezza fissa del sistema , quindi seleziona il carattere desiderato dal menu a discesa.

Sto dando due schermate di seguito:

Immagine del menu popup

Immagine della finestra del profilo "Modifica"

— Anwar
fonte

1

oh wow, non sapevo che fosse così facile. GRAZIE!!!

— Fawkes5,

Per quanto posso vedere, "Profili" sono in "Preferenze" in Ubuntu 18.04 o Ubuntu 18.04. Forse aggiorni la tua risposta per includere anche le versioni più recenti di Ubuntu?

— Peter Mortensen,

1

Per Ubuntu 17.04 con GNOME Terminal 3.20.2, le opzioni sono leggermente diverse. Dal menu, vai a Modifica -> Preferenze profilo -> scheda Generale. In Text Appearance section, selezionare l' Custom fontopzione, fare clic sul carattere selezionato, quindi ridurre il numero della dimensione del carattere nella parte inferiore della nuova finestra.

— patrickvacek
fonte

Sì, uso un tema scuro e bassa luminosità, quindi la casella di controllo è quasi invisibile

— qwr

0

se intendi un terminale server, ovvero nessun sistema a finestre, solo la console, mi piace questa risposta :

setfont /usr/share/consolefonts/UbuntuMono-R-8x16.psf

questo è un esempio; puoi vedere un elenco di caratteri disponibili come questo:

ls /usr/share/consolefonts

e se per qualche motivo non li avessi, puoi installarli in questo modo:

sudo apt-get install fonts-ubuntu-font-family-console

nota che potresti dover inserire il comando setfont nel tuo .profile o .bashrc poiché potrebbe essere necessario eseguirlo ad ogni accesso

— jmarina
fonte