Bagaimana cara mengubah spasi baris di Terminal?

22

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:

Monako

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:

Monako dengan perubahan khusus saya

Saya ingin tahu bagaimana mencapainya dengan Ubuntu. Untuk saat ini, solusi terbaik saya adalah menggunakan Source Code Pro, yang dirancang dengan pemikiran ini, tampaknya:

Kode Sumber Pro

fonts gnome-terminal

— Dogweather
sumber

Hai saya pergi ke PC saya sekarang. tetapi saya yakin dari General atau scrolling TAB di jendela itu Anda bisa mendapatkannya.

— rɑːdʒɑ

2

Tidak yakin apa yang seharusnya dicapai atau ditampilkan tangkapan layar Anda; Sepertinya layar terminal normal bagi saya. Sepertinya Anda memerlukan setidaknya dua contoh untuk menunjukkan perbedaan spasi baris, karena font yang berbeda memiliki spasi yang berbeda, tergantung pada ketinggian font. Tapi saya pikir kita semua tahu apa itu spasi, meskipun terminal tidak memiliki pengaturan itu.

— Marty Fried

Saya memperbarui tangkapan layar untuk menggambarkan pertanyaan saya dengan lebih baik.

— Dogweather

9

Ada satu terminal emulator yang memiliki fitur ini.

urxvt

dari 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 tersedia dalam paket thease:

rxvt-unicode

rxvt-unicode-256color

rxvt-unicode-lite

— McNisse
sumber

3

Juga xtermdengan scaleHeightsumber daya.

— Stéphane Chazelas

3

Konsole memiliki fitur ini. Anda akan menemukannya di bawah pengaturan profil di tab paling kanan. Konsole adalah aplikasi KDE, tetapi memiliki ketergantungan yang relatif sedikit dan tampaknya berfungsi dengan baik tanpa KDE.

Terminal mac mendukung ini untuk alasan yang bagus. Atom (editor) juga mendukungnya. Bagi saya itu sangat diperlukan. Saya membayangkan, banyak orang lebih suka sedikit spasi garis / tinggi garis.

urxvt tampaknya agak kuno bagi saya.

— maria s
sumber

Hanya untuk menambah tinggi garis yang memalukan. Tidak memungkinkan Anda untuk mengencangkan.

— Thomas Browne

2

Fitur ini tersedia dalam GNOME Terminalversi 3.28 ( VTEpustaka emulasi terminal versi 0.52).

— egmont
sumber

1

Setahu saya ini tidak bisa dicapai secara langsung. Anda juga tidak menginginkannya. Memiliki ruang di antara baris akan benar-benar mengacaukan program berbasis "text ui" seperti nano, mail, dan dialog kecil yang muncul ketika Anda menjalankan apt dari baris perintah.

Namun, ada kabar baik. Anda bisa mengubah font. Beberapa font memiliki semacam "padding" yang akan memberi Anda efek yang sama.

Saya sarankan Anda menggunakan Source Code Pro sangat mudah dibaca, meskipun jujur tidak memberikan padding sebanyak yang Anda inginkan.

Perlu diingat bahwa pada Linux terminal adalah konsep yang berbeda maka pada OS X. Sebagai seseorang yang bermigrasi sendiri, saya pikir saran terbaik yang dapat saya berikan adalah dengan hanya menggunakan default untuk sementara waktu kemudian membuat keputusan.

— kapas
sumber

Sebenarnya, saya berakhir secara independen menggunakan setengah dari saran Anda. Pertama, saya percaya bahwa itu adalah diinginkan: Saya menyadari screenshot saya mungkin tidak jelas menunjukkan hal itu, tapi itu Monaco yang ditampilkan dengan spasi sedikit lebih besar. Saya menemukan itu membantu teks pada baris lebih bersatu. Tapi ya, Source Code Pro melakukan jarak spasi lebih jauh, dan itulah yang saya gunakan di Linux.

— Dogweather

Anda juga dapat mencoba font Ubuntu Mono.

— Paddy Landau

1

@ PaddyLandau Komentar Anda memberi saya ide untuk solusi yang berbeda: meretas file TTF untuk menambah tinggi baris. Saya akan mengirim jawaban jika saya bisa membuatnya bekerja.

— Tobia

@Tobia Saya menantikannya!

— Paddy Landau

1

@ PaddyLandau Terus terang saya tidak punya waktu untuk mengerjakannya, tapi saya menemukan posting forum yang menjelaskan bagaimana hal itu dilakukan: mobileread.com/forums/showthread.php?t=22374

— Tobia

0

Ini sebenarnya bukan perbaikan tetapi Anda dapat menambahkan baris kosong setelah setiap perintah dengan:

export PROMPT_COMMAND="echo"

— philshem
sumber

3

Ini akan menghancurkan banyak hal. Saya tidak menyarankan ini. Plus ini hanya berfungsi pada level juru bahasa (bash). Contoh di atas adalah output perintah, untuk mengatasi bahwa Anda perlu memiliki spasi baris pada tingkat emulator.

— coteyr

2

Jika Anda ingin ini, lebih baik untuk menambahkan baris baru untuk PS1, misalnya: export PS1='\n$ '.

— Thomas