Có thể thay đổi khoảng cách dòng trong Terminal, hoặc có một số ứng dụng khác cho phép nó không? Tôi đang di chuyển từ Mac và ứng dụng đầu cuối của nó có tính năng này cho phép thay đổi khoảng cách dòng độc lập với kích thước phông chữ.
Ví dụ: đây là Monaco trên máy Mac lúc 17pt, không có bất kỳ sự điều chỉnh nào. Vấn đề của tôi với nó là đó là một mớ lộn xộn của văn bản - mắt được vẽ theo chiều dọc cũng như theo chiều ngang:
Và với khoảng cách dòng "1.1" và khoảng cách ký tự chặt hơn một chút. Tôi làm điều này để mắt tôi theo dõi các dòng dễ dàng hơn. Đó là một quy tắc chung trong bố cục rằng không gian giữa các dòng nên lớn hơn không gian giữa các từ. Điều này trở nên gần hơn với lý tưởng đó:
Tôi đang tự hỏi làm thế nào để đạt được điều này với Ubuntu. Hiện tại, cách giải quyết tốt nhất của tôi là sử dụng Source Code Pro, được thiết kế với những ý tưởng này, rõ ràng: