Setelah memutakhirkan formulir Ubuntu 14.10 menjadi 15.10, tampaknya mengubah gnome-terminal
preferensi menggunakan gconftool-2
tidak 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
/ gesettings
bukan gconftool-2
.
Sebagai contoh, pada Ubuntu 14.10 ( gnome-terminal
versi 3.6.2) saya dapat mengatur jumlah kolom dalam Default
profil 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 untukdconf
tetapi tidak ada id skemaorg.gnome.Terminal.Legacy.Profiles
(perhatikan trailings
)gsettings
? Juga, lihat Bukankah seharusnya dconf-editor dan gsettings mengakses database yang sama? untuk informasi lebih lanjut.
Masih di Ubuntu 15.10 (menggunakan gnome-terminal
versi 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-columns
kunci yang bisa (?) sesuai dengan default_size_columns
kunci di Ubuntu 14.10, tetapi tidak ada use-custom-default-size
kunci yang sesuai dengan use_custom_default_size
kunci 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-terminal
pengaturan dari default-size-columns
tampaknya tidak berpengaruh karena terminal masih terbuka dengan 80 kolom ..
sumber
Jawaban:
Sintaks yang digunakan dengan
gsettings
perintah dijelaskan dalam Pertanyaan Umum Terminal GNOME .Pertama, Anda perlu mengetahui pengidentifikasi profil yang ingin Anda ubah. Misalnya, pengidentifikasi
gnome-terminal
profil default dapat diperoleh dari skemaorg.gnome.Terminal.ProfilesList
.Kemudian ubah kunci jalur
/org/gnome/terminal/legacy/profiles:/:UUID/
skema yang diinginkanorg.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-columns
profil default:sumber
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:0/ default-size-columns 150
gsettings set org.gnome.Terminal.Legacy.Profile:/:0/ default-size-columns 150