เพื่อให้บรรลุสิ่งที่คุณต้องการคุณจะต้องแก้ไขซอร์สโค้ดgnome-terminal
และสร้างมันใหม่ด้วยตัวเองเนื่องจากขนาดหน้าต่างขั้นต่ำจะถูกกำหนดค่าตายตัวลงในแอปพลิเคชันเทอร์มินัล เมื่อต้องการทำสิ่งนี้ให้ทำตามขั้นตอนเหล่านี้
ก่อนอื่นให้ไปที่https://launchpad.net/ubuntu/+source/gnome-terminal/3.6.1-0ubuntu4และดาวน์โหลดไฟล์ต้นฉบับ (ไฟล์คือ gnome-terminal_3.6.1.orig.tar.xz) ดาวน์โหลดลงใน~/Downloads
โฟลเดอร์ของคุณ
จากนั้นเปิดเทอร์มินัลแล้วพิมพ์คำสั่งต่อไปนี้:
cd ~/Downloads
tar -xJf gnome-terminal_3.6.1.orig.tar.xz
สิ่งนี้จะดึงแหล่งที่มา ~/Downloads/gnome-terminal-3.6.1/src/terminal-window.c
ตอนนี้เปิดโปรแกรมแก้ไขข้อความที่คุณชื่นชอบและแก้ไขไฟล์ นำทางไปยังสาย 3107 ที่คุณจะได้พบกับตัวแปรและMIN_WIDTH_CHARS
MIN_HEIGHT_CHARS
แก้ไขสิ่งเหล่านี้คือความสูงและความกว้างต่ำสุดของหน้าต่างเทอร์มินัลของคุณที่แสดงเป็นตัวอักษร (เช่นMIN_WIDTH_CHARS
20 หมายถึงว่าคุณไม่สามารถปรับขนาดความกว้างของหน้าต่างได้อีกต่อไปให้เหลือความกว้าง 20 อักขระ)
cd ~/Downloads/gnome-terminal-3.6.1
จากนั้นจะสร้างในประเภทอาคาร จากนั้นให้รัน ./configure
เพื่อสร้าง makefile (ถ้ามันบ่นเกี่ยวกับแพ็คเกจที่ขาดหายไปให้ติดตั้งโดยใช้apt-get
(เช่นถ้ามันบอกว่า " foo
ไม่พบแพ็คเกจ" หรือคล้ายกันใช้sudo apt-get install foo
) คุณสามารถลองติดตั้งauto-apt
และใช้sudo auto-apt run ./configure
งานได้ ) แต่เมื่อฉันลองสิ่งนี้มันก็ไม่ได้จับทุกอย่างเลย (รันมาตรฐาน./configure
หลังจากนั้น) ซึ่งอาจใช้เวลาสองสามครั้งขึ้นอยู่กับจำนวนแพ็คเกจที่ขาดหายไป
เมื่อมีการสร้าง makefiles เพียงแค่พิมพ์ตามด้วยmake
sudo make install
สิ่งนี้ควรสร้างโปรแกรมเทอร์มินัลใหม่ ปิดหน้าต่างเทอร์มินัลทั้งหมดจากนั้นหน้าต่างถัดไปที่คุณเริ่มจะเคารพขนาดต่ำสุดที่คุณตั้งไว้ในซอร์ส (เช่นจะไม่ปรับขนาดต่ำกว่าค่าที่คุณกำหนดไว้ที่นั่น)