Come posso modificare in modo permanente le dimensioni del testo per gnome-terminal?

14

Volevo solo chiedere ...

Sembra che sia necessario premere Ctrl+ -(ctrl più il segno meno) per ottenere una migliore risoluzione (testo più piccolo) quando si esegue il terminale.

Ma mi chiedevo se c'era un modo per mantenere le impostazioni in questo modo, in modo che ogni volta che avvii il terminale funzionerà già con una risoluzione più elevata?

11.04 command-line gnome-terminal

— Templare oscuro
fonte

18

È possibile impostare manualmente la dimensione del testo in un terminale:

aprendo un terminale
Modifica -> Preferenze profilo
seleziona Carattere personalizzato (o deseleziona Usa il carattere a larghezza fissa del sistema nelle versioni precedenti)
Scegli il carattere e le dimensioni

Puoi anche scegliere la dimensione del terminale selezionando Usa dimensione terminale predefinita personalizzata e impostando un numero di righe e colonne.

— danjjl
fonte

Questo è esattamente quello che faccio per ottenerlo in modo permanente.

— Luis Alvarado,

1

Non vedo l' opzione " Usa il carattere a larghezza fissa del sistema " in 16.04?

— rudolph9,

@ rudolph9 hanno modificato la risposta per dire 'Seleziona carattere personalizzato' come è quello che dice nella mia versione (piuttosto che 'usa il font wdth fisso di sistema')

— EoghanM

4

Puoi provare a invocare gnome-terminalcon il parametro --zoom, ad esempio:

gnome-terminal --zoom=0.8 per ridurre il 20% (80% della dimensione originale)

La documentazione limitata per questo parametro è disponibile eseguendo

gnome-terminal --help-all

Puoi giocare un po 'con le diverse dimensioni dello zoom per trovare quella appropriata, e quindi modificare le scorciatoie di conseguenza.

— Pavlos G.
fonte