Baik terminal gnome dan terminator (yang saya gunakan di laptop saya hari ini) dapat dikustomisasi agar terlihat sangat cantik. Dengan menggunakan layar penuh dan menjaga desktop tetap berantakan seminimal mungkin untuk mendapatkan area berukuran baik untuk bekerja, bahkan pada EeePC kecil saya.
Namun, ada satu elemen yang sepertinya tidak bisa saya kendalikan. Tab Gnome berukuran sangat besar dan jelek. Mereka sama sekali tidak cocok dengan tema yang terlihat konyol, tetapi bagi saya masalah terbesar adalah layar real estat yang terbuang. Pada layar laptop kecil khususnya, ini adalah masalah nyata.
Apakah ada cara untuk mengubah tab ini? Saya menyadari bahwa mungkin untuk menempatkan mereka di sisi jendela, tetapi kemudian mereka mengambil lebih banyak ruang!
Jika ini tidak memungkinkan dengan konfigurasi theme-ing atau gnome, apakah ada program terminal seperti terminator yang dapat menangani tab sendiri? (Idealnya dengan cara yang lebih elegan!)
sumber
Jawaban:
Coba
screen
.Buat "tab" berbeda dengan
Ctrl-a c
dan beralih di antara mereka denganCtrl-a Ctrl-a
(untuk beralih ke jendela yang ditampilkan sebelumnya) atau langsung denganCtrl-a <number of tab>
(untuk beralih ke nomor jendela "nomor tab").Ctrl-a "
menyajikan daftar semua jendela untuk seleksi.Untuk informasi lebih lanjut, lihat
man screen
.sumber
byobu
, yang persis seperti layar, tetapi disajikan dalam Technicolor® ;-)tmux
lebihscreen
: lebih baik (imo) windows ( 'tab') dan 'panel' (vertikal dan horisontal layar membelah (saya menjalankan.emacs
Dalam sebuahtmux
sesi khusus).Seperti yang ditunjukkan oleh JanC,
terminator
gunakan tema gtk default pada sistem Anda. Memang benar bahwa masalahnya dapat diselesaikan dengan meletakkanclose_button_on_tab = False
~ / .config / terminator / config Anda, Anda juga dapat mengubah tema gtk. Atau, Anda dapat menentukan pengaturan gtk khusus untukterminator
. Untuk melakukannya, tambahkan baris berikut kegtkrc
file Anda :Perhatikan bahwa Anda memodifikasi widget Gtk standar yang disebut "GtkNotebook". Inilah yang bertanggung jawab atas tab. Jika Anda ingin ini berfungsi di setiap aplikasi (bukan hanya terminator), gunakan sebaliknya:
Ini kemudian akan mempengaruhi semua aplikasi. Untuk mengubah warna teks pada tab, gunakan:
Saya bukan ahli Gtk, dan saran ini mungkin mengandung kesalahan.
sumber
lihat urxvt. Salah satu alasan utama saya pindah ke sana adalah cara terbaik menangani tab.
Tambahkan ini ke .Xdefaults Anda
sumber
Mungkin melalui file konfigurasi GTK CSS. Buat
~/.config/gtk-3.0/gtk.css
maka Anda akan dapat menambahkan beberapa pemilih CSS dan atributnya. Ada beberapa contoh yang baik: Hapus bazel lemak jelek dari gnome-terminal dengan banyak-tabsumber