เพื่อให้บรรลุสิ่งที่คุณต้องการคุณจะต้องแก้ไขซอร์สโค้ด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_CHARS20 หมายถึงว่าคุณไม่สามารถปรับขนาดความกว้างของหน้าต่างได้อีกต่อไปให้เหลือความกว้าง 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สิ่งนี้ควรสร้างโปรแกรมเทอร์มินัลใหม่ ปิดหน้าต่างเทอร์มินัลทั้งหมดจากนั้นหน้าต่างถัดไปที่คุณเริ่มจะเคารพขนาดต่ำสุดที่คุณตั้งไว้ในซอร์ส (เช่นจะไม่ปรับขนาดต่ำกว่าค่าที่คุณกำหนดไว้ที่นั่น)