เป็นไปได้ไหมที่จะเปลี่ยนแบบอักษรของเทอร์มินัล

ฉันต้องการเปลี่ยนแบบอักษรในเทอร์มินัลฉันจะทำสิ่งนี้ได้อย่างไร

ขั้ว Bash:

เมนูแก้ไข => การตั้งค่าโปรไฟล์ => แท็บทั่วไป ยกเลิกการเลือกใช้แบบอักษรความกว้างคงที่ของระบบและเลือกแบบอักษรที่คุณต้องการ

สำหรับเทอร์มินัล xterm ทั่วไปคุณต้องสร้างไฟล์~/.Xresourcesและเพิ่มการตั้งค่าเช่นxterm*font: Sublime\ Text\ 2-1212 คะแนน (นี่เป็นการเดาฉันไม่รู้ว่ามันถูกต้องทั้งหมดหรือไม่)

แม้ว่าคุณจะไม่ได้พูดถึงตัวอักษรที่คุณใช้หรือเทอร์มินอลใดที่คุณกำลังอ้างถึง แต่ฉันกำลังให้คำตอบทั่วไปเพื่อเปลี่ยนแบบอักษรใน gnome-terminal

ฉันให้สองวิธีในการทำเช่นนี้แม้ว่าทั้งสองจะค่อนข้างใกล้กัน

วิธีการอย่างเป็นทางการ

• เปิด terminal ด้วยกดCtrl+ + AltT
• จากนั้นไปจากเมนูแก้ไข → โปรไฟล์ บนหน้าต่างแก้ไขโปรไฟล์คลิกที่Editปุ่ม
• จากนั้นในแท็บทั่วไปยกเลิกเลือกใช้แบบอักษรความกว้างคงที่ของระบบแล้วเลือกแบบอักษรที่คุณต้องการจากเมนูแบบเลื่อนลง

วิธีที่ง่ายกว่า

• เปิด terminal ด้วยกดCtrl+ +AltT
• คลิกขวาที่เทอร์มินัลจากเมนูป๊อปอัพปรากฏไปที่การตั้งค่าโปรไฟล์ → โปรไฟล์
• จากนั้นในแท็บทั่วไปยกเลิกการเลือกใช้แบบอักษรความกว้างคงที่ของระบบแล้วเลือกแบบอักษรที่คุณต้องการจากเมนูแบบเลื่อนลง

ฉันให้ภาพหน้าจอสองภาพด้านล่าง:

สำหรับ Ubuntu 17.04 ที่มีเทอร์มินัล GNOME 3.20.2 ตัวเลือกแตกต่างกันเล็กน้อย จากเมนูไปที่แก้ไข -> การตั้งค่าโปรไฟล์ -> แท็บทั่วไป ในการText Appearance sectionเลือกCustom fontตัวเลือกคลิกแบบอักษรที่เลือกและจากนั้นลดจำนวนขนาดตัวอักษรที่ด้านล่างของหน้าต่างใหม่

ถ้าคุณหมายถึงเทอร์มินัลเซิร์ฟเวอร์นั่นคือไม่มีระบบหน้าต่างเพียงคอนโซลฉันชอบคำตอบนี้ :

setfont /usr/share/consolefonts/UbuntuMono-R-8x16.psf

นี่คือตัวอย่าง; คุณสามารถดูรายการแบบอักษรที่มีอยู่ดังนี้:

ls /usr/share/consolefonts

และหากคุณไม่ได้มีเหตุผลบางอย่างคุณสามารถติดตั้งได้ดังนี้:

sudo apt-get install fonts-ubuntu-font-family-console

โปรดทราบว่าคุณอาจต้องวางคำสั่ง setfont ลงใน. profile หรือ. bashrc เนื่องจากอาจต้องทำงานทุกครั้งที่ลงชื่อเข้าใช้