Bagaimana saya bisa memaksa terminal setidaknya menjadi ukuran tertentu?

8

Saya ingin mencegah terminal Terminator saya yang lebih kecil dari 80x24. Artinya, saya akan dicegah untuk mengubah ukuran terminal menjadi di bawah ukuran itu, dan jika saya mencoba untuk membagi terminal yang terlalu kecil, terminal yang ada akan menyusut atau terminal induk dan anak akan dipindahkan ke jendela baru.

Saya bersedia mengubah program terminal jika diperlukan, meskipun solusi ubin yang bagus seperti Terminator lebih disukai.

Nicholas
sumber

Jawaban:

4

Untuk mencapai apa yang Anda inginkan, Anda harus mengedit kode sumber gnome-terminal dan membangunnya sendiri, karena ukuran jendela minimum dikodekan ke dalam aplikasi terminal. Untuk melakukan ini, ikuti langkah-langkah ini.

Pertama, buka https://launchpad.net/ubuntu/+source/gnome-terminal/3.6.1-0ubuntu4 dan unduh file sumber (file tersebut gnome-terminal_3.6.1.orig.tar.xz). Unduh ini ke ~/Downloadsfolder Anda .

Kemudian, buka terminal dan ketik perintah berikut:

cd ~/Downloads

tar -xJf gnome-terminal_3.6.1.orig.tar.xz

Ini akan mengekstrak sumbernya. Sekarang, buka editor teks favorit Anda dan edit file ~/Downloads/gnome-terminal-3.6.1/src/terminal-window.c. Arahkan ke baris 3107, di mana Anda akan menemukan variabel MIN_WIDTH_CHARSdanMIN_HEIGHT_CHARS . Edit ini, ini adalah tinggi dan lebar minimum dari jendela terminal Anda yang dinyatakan dalam karakter (yaitu a MIN_WIDTH_CHARSdari 20 akan berarti bahwa Anda tidak dapat lagi mengubah ukuran lebar jendela hingga di bawah 20 karakter lebar)

Kemudian, untuk membangun, dalam tipe terminal cd ~/Downloads/gnome-terminal-3.6.1. Kemudian, jalankan ./configureuntuk menghasilkan makefile (jika komplain tentang paket yang hilang, instal dengan menggunakan apt-get(mis. Jika dikatakan "paket footidak ditemukan" atau serupa, gunakan sudo apt-get install foo). Anda juga dapat mencoba menginstal auto-aptdan menggunakan sudo auto-apt run ./configure(ini akan mencoba menginstal semua dependensi ), tetapi ketika saya mencoba ini tidak cukup menangkap semuanya (jalankan standar ./configuresesudahnya) Ini mungkin memerlukan beberapa upaya, tergantung pada berapa banyak paket yang hilang.

Setelah itu dihasilkan makefiles cukup ketik make, diikuti oleh sudo make install. Ini harus membangun kembali program terminal. Tutup semua jendela terminal, dan kemudian yang Anda mulai berikutnya akan menghormati ukuran minimum yang Anda tetapkan dalam sumber (yaitu tidak akan mengubah ukuran di bawah nilai yang Anda tetapkan di sana).

Jez W
sumber
Metode yang bahkan lebih lengkap adalah melakukan persis seperti yang telah Anda nyatakan, tetapi lanjutkan langkah tambahan dari pengguna membuat PPA mereka sendiri untuk membangun .deb yang dapat mereka pertahankan dan / atau kunci-in agar tidak menimbulkan masalah. ketika memutakhirkan sisa sistem. Dengan cara ini, manajer paket masih mengelola paket, tetapi pengguna mempertahankan kontrol hanya pada PPA mereka tanpa mengorbankan fungsionalitas yang dimaksud dari manajer paket. Menyebutkan sebanyak mungkin (saya pikir) akan memperkuat Anda sebagai jawaban "masuk".
darthlukan
@darthlukan Poin menarik. Saya belum benar-benar memikirkan hal ini (mungkin saya harus sudah melalui ini sendiri untuk mengujinya) dan sebenarnya saya tidak yakin bagaimana seseorang akan melakukan itu / menerapkan pembaruan paket apa pun sambil menjaga perubahan mereka tetap utuh ... Saya juga hanya memperhatikan bahwa pertanyaannya merujuk secara khusus pada Terminator sedangkan solusi ini adalah untuk gnome-terminal, jadi ...
Jez W
Terlepas dari apakah itu terminal gnome atau Terminator (sebenarnya, Terminator menampilkan beberapa terminal gnome dan terminal gnome merupakan ketergantungan dari terminator), solusi Anda masih tepat. Pengguna dapat melakukan banyak hal yang sama di Terminator, mereka hanya harus memperhatikan nama variabel yang mungkin berbeda dan nama file berbeda, tetapi langkah-langkahnya semua sama (konten utama). Saat Anda membuat paket .deb kustom dan melampirkan PPA Anda ke Apt, paket Anda akan ditimpa selama Anda mengunci versi.
darthlukan
4
  1. Tekan tombol super untuk membuka lensa pencarian dan mencari: menu utama
  2. Setelah aplikasi " Menu Utama " berjalan pilih " Aksesori " di menu sebelah kiri dan kemudian pilih " Terminal " di menu kedua.
  3. Setelah opsi " Terminal " dipilih, tekan tombol " Properties " di sebelah kanan. Jendela baru akan terbuka dengan properti Peluncur terminal.
  4. Buka entri " Command " dan tambahkan ini ke akhir entri:

    --geometry=132x24
    

    Entri yang selesai harus:

    gnome-terminal --geometry=132x24
    

Itu dia. Tutup jendela dan lain kali Anda meluncurkan terminal, jendela akan diubah ukurannya. Anda mungkin harus keluar dan masuk kembali agar berfungsi dengan benar.

(132x24 hanyalah sebuah contoh, Anda dapat menggunakan resolusi apa pun yang Anda inginkan)

Kristen
sumber
2
Ini hanya memengaruhi geometri awal, itu tidak mencegah terminal untuk diubah ukurannya di bawah ukuran yang diberikan.
Nicholas
2

Nah, sejauh yang saya tahu, Anda tidak bisa, resolusi jendela Terminal didasarkan pada proporsi karakter ... Jadi jika Anda mengubah ukuran font, jendela Terminal akan mengubah ukuran agar sesuai dengan proporsi font itu ...

Pada awalnya terdengar agak konyol, tetapi mengingat bahwa terminal hanya menampilkan hanya karakter teks, masuk akal, jika sebuah jendela berukuran piksel, Anda akan sering berakhir dengan ruang yang terbuang ketika ukuran jendela tidak tepat cocok dengan batas karakter ...

Kristen
sumber
itu benar-benar lebih buruk daripada bodoh dan tidak berani mengapa programmer melakukannya. coneckuted head wrecker
Carni
1

Jika Anda menggunakan versi Ubuntu yang lebih lama, di klik kanan -> jendela properti, tab pertama memiliki dua bidang di mana Anda dapat mengedit baris dan kolom terminal.

Jika tidak, Anda dapat menggunakan input-perintah yang disebut dalam jawaban satu.

--geometry=132x24
cossackman
sumber
Ini juga hanya mempengaruhi geometri awal.
Nicholas
1

Trik kecil tentang ukuran default adalah topik di sini . Di sana, pengguna viscount menyelesaikannya dengan membuat skrip dan menempatkannya di / usr / bin / gnome-terminal seperti ini (saya berasumsi Anda menggunakan gnome sebagai window-manager):

#!/bin/sh
gnome-terminal --geometry=132x24

Anda juga dapat mengeklik kanan ikon terminal gnome di bilah tugas, memilih properti, lalu mengubah perintah di sana ke perintah yang berbeda seperti:

gnome-terminal --working-directory=%f --geometry=132x24

Dengan cara ini Anda memiliki ukuran default yang Anda tentukan sendiri.

dschinn1001
sumber