Apakah mungkin untuk mengubah spasi di Terminal, atau ada beberapa aplikasi lain yang memungkinkannya? Saya pindah dari Mac, dan aplikasi terminalnya memiliki fitur ini yang memungkinkan spasi baris diubah tanpa tergantung pada ukuran font.
Misalnya, inilah Monaco pada Mac di 17pt, tanpa penyesuaian. Masalah saya dengan itu adalah bahwa itu adalah kumpulan teks - mata digambar secara vertikal sebanyak secara horizontal:
Dan dengan spasi "1.1" dan spasi karakter yang sedikit lebih ketat. Saya melakukan ini agar mata saya mengikuti garis lebih mudah. Ini adalah aturan umum dalam tata letak bahwa ruang antar baris harus lebih besar daripada ruang antar kata. Ini semakin dekat dengan cita-cita itu:
Saya ingin tahu bagaimana mencapainya dengan Ubuntu. Untuk saat ini, solusi terbaik saya adalah menggunakan Source Code Pro, yang dirancang dengan pemikiran ini, tampaknya: