วิธีการเปลี่ยนการตั้งค่าโปรไฟล์ gnome-terminal โดยใช้ dconf หรือ gsettings

หลังจากอัปเกรดฟอร์ม Ubuntu 14.10 เป็น 15.10 ดูเหมือนว่าไม่รองรับการเปลี่ยนgnome-terminalค่ากำหนดที่ใช้gconftool-2อีกต่อไป ผมคิดว่าปัญหานี้จะเกี่ยวข้องกับGconf การอพยพ

ตอนนี้ผมต้องการที่จะเปลี่ยนแปลงบางอย่างของสคริปเก่าของฉัน (เนื่องจากพวกเขาจะเสียใน Ubuntu 15.10) เพื่อทำงานร่วมกับdconf/ แทนgesettingsgconftool-2

ตัวอย่างเช่นบน Ubuntu 14.10 ( gnome-terminalเวอร์ชั่น 3.6.2) ฉันสามารถกำหนดจำนวนคอลัมน์ในDefaultโปรไฟล์โดยใช้:

$ gconftool-2 --set /apps/gnome-terminal/profiles/Default/default_size_columns \
            --type=int 140
$ gconftool-2 --set /apps/gnome-terminal/profiles/Default/use_custom_default_size \
            --type=bool true

ตอนนี้ใน Ubuntu 15.10 ให้พิมพ์:

$ dconf list /org/gnome/terminal/legacy/

จะช่วยให้

profiles:/
schema-version

แต่ทว่า

$ gsettings list-relocatable-schemas | grep Terminal

จะช่วยให้

org.gnome.Terminal.SettingsList
org.gnome.Terminal.Legacy.Profile
org.gnome.Terminal.Legacy.Keybindings

ผลลัพธ์ข้างต้นทำให้ฉันสับสน:

• ทำไมถึงมี/org/gnome/terminal/legacy/profiles:/เส้นทางสำหรับdconfแต่ไม่มีorg.gnome.Terminal.Legacy.Profiles(หมายเหตุท้ายs) รหัสคีมาสำหรับgsettings? นอกจากนี้ดูที่ dconf-editor และ gsettings ไม่ควรเข้าถึงฐานข้อมูลเดียวกันหรือไม่ สำหรับข้อมูลเพิ่มเติม.

ยังอยู่ใน Ubuntu 15.10 (โดยใช้gnome-terminalรุ่น 3.16.2) ถ้าฉันใช้:

$ gsettings list-keys org.gnome.Terminal.Legacy.Profile:/ | grep default

ฉันเข้าใจ:

default-size-rows
default-show-menubar
default-size-columns

ดังนั้นมีdefault-size-columnsคีย์ที่สามารถ (?) ตรงกับdefault_size_columnsคีย์ใน Ubuntu 14.10 ได้ แต่ไม่มีuse-custom-default-sizeคีย์ที่ตรงกับuse_custom_default_sizeคีย์ใน Ubuntu 14.10 สิ่งนี้ทำให้ฉันสับสน

นอกจากนี้ถ้าฉันลองใช้:

$ gsettings set org.gnome.Terminal.Legacy.Profile:/ default-size-columns 150

และเปิดgnome-terminalการตั้งค่าใหม่ของdefault-size-columnsดูเหมือนว่าจะไม่มีผลเนื่องจากขั้วยังคงเปิด 80 คอลัมน์ ..

ไวยากรณ์ที่จะใช้กับgsettingsคำสั่งที่อธิบายไว้ใน GNOME เทอร์มิคำถามที่พบบ่อย

ก่อนอื่นคุณต้องค้นหาตัวระบุของโปรไฟล์ที่คุณต้องการเปลี่ยน ยกตัวอย่างเช่นตัวระบุของโปรไฟล์เริ่มต้นสามารถได้รับจากสคีgnome-terminalorg.gnome.Terminal.ProfilesList

จากนั้นเปลี่ยนปุ่มที่ต้องการเส้นทาง/org/gnome/terminal/legacy/profiles:/:UUID/ของสคีมาorg.gnome.Terminal.Legacy.Profile:สำหรับโปรไฟล์นี้

สังเกตเครื่องหมายทวิภาคในเส้นทางด้านบน มันจะไม่ทำงานหากไม่ได้ระบุไว้

นี่คือสคริปต์ที่ใช้ด้านบนเพื่อตั้งdefault-size-columnsค่าโปรไฟล์เริ่มต้น:

profile=$(gsettings get org.gnome.Terminal.ProfilesList default)
profile=${profile:1:-1} # remove leading and trailing single quotes
gsettings set "org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:$profile/" default-size-columns 150