Bagaimana cara mengubah preferensi profil terminal gnome menggunakan dconf atau gsettings?

Setelah memutakhirkan formulir Ubuntu 14.10 menjadi 15.10, tampaknya mengubah gnome-terminalpreferensi menggunakan gconftool-2tidak lagi didukung. Saya kira masalah ini terkait dengan migrasi Gconf ke GSettings .

Sekarang, saya ingin mengubah beberapa skrip lama saya (karena mereka rusak di Ubuntu 15.10) untuk bekerja dengan dconf/ gesettingsbukan gconftool-2.

Sebagai contoh, pada Ubuntu 14.10 ( gnome-terminalversi 3.6.2) saya dapat mengatur jumlah kolom dalam Defaultprofil menggunakan:

$ 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

Sekarang, di Ubuntu 15.10, ketikkan:

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

memberi

profiles:/
schema-version

sedangkan

$ gsettings list-relocatable-schemas | grep Terminal

memberi

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

Output di atas membingungkan saya:

• Mengapa ada /org/gnome/terminal/legacy/profiles:/jalur untuk dconftetapi tidak ada id skema org.gnome.Terminal.Legacy.Profiles(perhatikan trailing s) gsettings? Juga, lihat Bukankah seharusnya dconf-editor dan gsettings mengakses database yang sama? untuk informasi lebih lanjut.

Masih di Ubuntu 15.10 (menggunakan gnome-terminalversi 3.16.2), jika saya menjalankan:

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

Saya mendapat:

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

jadi ada default-size-columnskunci yang bisa (?) sesuai dengan default_size_columnskunci di Ubuntu 14.10, tetapi tidak ada use-custom-default-sizekunci yang sesuai dengan use_custom_default_sizekunci di Ubuntu 14.10. Ini juga membingungkan saya.

Juga, jika saya mencoba menjalankan:

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

dan membuka baru gnome-terminalpengaturan dari default-size-columnstampaknya tidak berpengaruh karena terminal masih terbuka dengan 80 kolom ..

Sintaks yang digunakan dengan gsettingsperintah dijelaskan dalam Pertanyaan Umum Terminal GNOME .

Pertama, Anda perlu mengetahui pengidentifikasi profil yang ingin Anda ubah. Misalnya, pengidentifikasi gnome-terminalprofil default dapat diperoleh dari skema org.gnome.Terminal.ProfilesList.

Kemudian ubah kunci jalur /org/gnome/terminal/legacy/profiles:/:UUID/skema yang diinginkan org.gnome.Terminal.Legacy.Profile:untuk profil ini.

Perhatikan titik dua di jalur di atas. Ini tidak akan berfungsi jika dihilangkan.

Berikut ini adalah skrip yang menggunakan di atas untuk menetapkan default-size-columnsprofil default:

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