Come posso cambiare l'interlinea nel Terminale?

È possibile modificare l'interlinea nel Terminale o c'è qualche altra app che lo consente? Mi sto spostando dal Mac e la sua app terminale ha questa funzione che consente di modificare l'interlinea indipendentemente dalla dimensione del carattere.

Ad esempio, ecco Monaco su Mac a 17pt, senza alcuna modifica. Il mio problema è che è un miscuglio di testo: l'occhio è disegnato in verticale tanto quanto in orizzontale:

E con interlinea "1.1" e spaziatura dei caratteri leggermente più stretta. Lo faccio in modo che il mio occhio segua le linee più facilmente. È una regola generale nel layout che lo spazio tra le righe dovrebbe essere maggiore dello spazio tra le parole. Questo si avvicina un po 'a quell'ideale:

Mi chiedo come raggiungere questo obiettivo con Ubuntu. Per ora, la mia soluzione migliore è usare Source Code Pro, che è stato progettato pensando a queste idee, apparentemente:

C'è un emulatore di terminale che ha questa funzione.

urxvt

da man urxvt:

-lsp number
Compile frills: Lines (pixel height) to insert between each row of the display.      
Useful to work around font rendering problems; resource lineSpace.

urxvt è disponibile in pacchetti thease:

rxvt-unicode

rxvt-unicode-256color

rxvt-unicode-lite

Konsole ha questa funzione. Lo troverai sotto le impostazioni del profilo nella scheda più a destra. Konsole è un'applicazione KDE, ma ha relativamente poche dipendenze e sembra funzionare bene senza KDE.

Il terminale mac lo supporta per una buona ragione. Atom (editor) lo supporta anche. Per me è indispensabile. Immagino, molte persone preferiscono un po 'più di spaziatura / altezza della linea.

urxvt mi sembra un po 'antiquato.

Questa funzione è disponibile nella GNOME Terminalversione 3.28 ( VTElibreria di emulazione terminale versione 0.52).

Per quanto ne so, ciò non è direttamente realizzabile. Né vorresti che fosse. Avere uno spazio tra le righe avrebbe davvero rovinato i programmi basati su "text ui" come nano, mail e quella piccola finestra di dialogo che si apre quando si esegue apt dalla riga di comando.

Tuttavia, ci sono buone notizie. Puoi semplicemente cambiare il carattere. Alcuni caratteri hanno una sorta di "riempimento" che ti darà lo stesso effetto.

Ti consiglio di usare Source Code Pro , è molto leggibile, anche se onestamente non offre tutto il riempimento che desideri.

Tieni presente che su Linux il terminale è un concetto diverso rispetto a OS X. Come qualcuno che sta migrando me stesso, penso che il miglior consiglio che posso dare sia quello di usare le impostazioni predefinite per un po 'e poi prendere una decisione.

Questa non è davvero una correzione, ma puoi aggiungere una riga vuota dopo ogni comando con:

export PROMPT_COMMAND="echo"