โปรไฟล์ gnome-terminal เก็บอยู่ที่ไหนในการแจกจ่าย Linux?

14

ฉันใช้แล้ว (Red Hat, Ubuntu, CentOS, อื่น ๆ ) การแจกแจงเหล่านี้ใช้เทอร์มินัล Gnome และจัดหาวิธีที่ยืดหยุ่นในการตั้งค่าโปรไฟล์เทอร์มินัลที่แตกต่างกันผ่านเมนูแบบเลื่อนลงที่อยู่ในหน้าต่างเทอร์มินัลเหนือคำสั่งที่ป้อน โปรไฟล์เหล่านี้อนุญาตให้ทำการเปลี่ยนแปลงคุณสมบัติแบบอักษรและสีของไฟล์ต่าง ๆ ฯลฯ

โปรไฟล์ที่แตกต่างกันเหล่านี้อยู่ที่ไหนสำหรับเครื่องเทอร์มินัลที่จัดเก็บ

terminal gnome-terminal profile

— จอห์น
แหล่งที่มา

7

บน Ubuntu ของฉัน 16.04

เปิดตัวแก้ไข dconf (ในฐานะผู้ใช้)
org> gnome> เทอร์มินัล> ดั้งเดิม> โปรไฟล์> ...

— GMaster
แหล่งที่มา

ดูเหมือนว่าสิ่งเหล่านี้จะถูกเก็บไว้โดยไม่มีสกีมาดังนั้นฉันไม่สามารถตั้งค่าโปรไฟล์โดยอัตโนมัติจากบรรทัดคำสั่ง ( gsettings set) วิธีการทำเช่นนี้?

— xjcl

0

คุณเพิ่งอ้างถึงสามดิสทริบิวชันที่ใช้อย่างน้อยสองGnomeเวอร์ชั่นที่แตกต่างกัน สิ่งนี้มีความสำคัญเนื่องจากการย้ายจากGnome 2ไปสู่Gnome 3สิ่งที่เคลื่อนย้ายจากGTK 2ไปยังGTK 3และผสมสิ่งต่าง ๆ เล็กน้อย

เพื่อไปที่หัวข้อของเขาโดยทั่วไปการกำหนดค่าทั้งหมดของคุณสำหรับผู้ใช้ของคุณอยู่ในที่$HOMEใดที่หนึ่ง แรกที่คุณต้องมองใน$HOMEตัวของมันเองแล้วลอง.configและ.gconfเป็นทั้งแนะนำไดเรกทอรีการกำหนดค่า

ที่ถูกกล่าวและด้วยการค้นหา google ง่ายฉันพบว่ามันอาจจะอยู่ใน~/.gconf/apps/gnome-terminal/profilesแต่ระยะเวลาของคุณอาจแตกต่างกันไป

— Digisec
แหล่งที่มา

ขอบคุณสำหรับความคิดเห็น GTKรุ่นจะส่งผลกระทบgtk-2.0และgtk-3.0การกำหนดค่าไดเรกทอรีว่า ฉันกำลังพูดคุยทั่วไปและไม่เพียง แต่คำพังเพยขั้ว

— Digisec