วิธีเพิ่มธีมสีให้กับการตั้งค่า GUI ของ Gnome-Terminal ได้อย่างไร


9

ฉันใช้ Gnome-Terminal สำหรับงานของฉันมากมายและชอบแยกหน้าต่างด้วยสีตามงานที่ฉันทำดังนั้นฉันจึงตั้งค่าโปรไฟล์หลายโปรไฟล์โดยใช้ Preferences GUI

ฉันพบชุดรูปแบบสีออนไลน์ที่ฉันชอบและต้องการใช้เป็นฐานสำหรับโปรไฟล์บางส่วนของฉันรวมถึงธีมที่ฉันสร้างขึ้นในอนาคต อย่างไรก็ตาม Preferences GUI มีตัวเลือกชุดรูปแบบสีเพียงไม่กี่ตัวเท่านั้นและฉันจะต้องเปลี่ยนสีทั้งหมดด้วยตนเองทุกครั้งที่ต้องการใช้หนึ่งในธีมที่กำหนดเองเหล่านี้

มีวิธีที่ฉันสามารถเพิ่มธีมที่กำหนดเองใน Preferences GUI ของฉันได้หรือไม่? หากไม่สามารถทำได้มีวิธีอื่นที่ฉันสามารถกำหนดธีมสีที่กำหนดเองสำหรับโปรไฟล์ได้หรือไม่? ฉันรู้ว่าฉันสามารถเปลี่ยนสีได้ด้วยตนเองในที่อื่น ๆ เช่น gconf-editor แต่ฉันต้องการวิธีง่ายๆในการบอกธีมสีโดยใช้ชื่อและให้มันจัดการกับส่วนที่เหลือ (เช่นที่คุณสามารถทำได้ด้วย GUI) .

คำตอบ:


5

จานสีทั้งหมดเป็นรหัสที่แข็งดังนั้นการเพิ่มธีมที่กำหนดเองในเมนู Prefs ในตัวของ gnome-terminal นั้นเป็นไปไม่ได้เว้นแต่คุณจะเต็มใจที่จะแก้ไขซอร์สโค้ดและคอมไพล์แอพพลิเคชันใหม่

วิธีหนึ่งในการตั้งค่าธีมสีที่กำหนดเองสำหรับโปรไฟล์ของคุณคือผ่านสคริปต์ ลองดูว่าโซลาไรซ์ทำอย่างไร:

คำพังเพยขั้วสี-solarized

โปรดทราบว่า gconf นั้นเป็น EOL และการเผยแพร่ในอนาคตของ gnome-terminal จะใช้แบ็คเอนด์ของgsettings


โปรดทราบว่า Solarized ตอนนี้แนะนำให้คุณสร้างโปรไฟล์ใหม่และตั้งค่าธีมเป็นธีม "กำหนดเอง" ที่นั่น
wjandrea
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.