Gnome-terminal profil tercihlerini dconf veya gsettings kullanarak nasıl değiştirebilirim?


16

Ubuntu 14.10'dan 15.10'a yükselttikten sonra, gnome-terminaltercihleri ​​kullanarak değiştirmenin gconftool-2artık desteklenmediği görülüyor . Sanırım bu sorun Gconf'tan GSettings'e geçişle ilgili .

Şimdi, (onlar Ubuntu 15.10 kırık olduğundan dolayı) ile çalışmak için eski bazı betikleri değiştirmek istiyorum dconf/ gesettingsyerine gconftool-2.

Örnek olarak, Ubuntu 14.10'da ( gnome-terminalsürüm 3.6.2) aşağıdakileri Defaultkullanarak profildeki sütun sayısını ayarlayabilirim :

$ 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

Şimdi, Ubuntu 15.10'da şunu yazın:

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

verir

profiles:/
schema-version

buna karşılık

$ gsettings list-relocatable-schemas | grep Terminal

verir

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

Yukarıdaki çıktı beni karıştırıyor:

Hala gnome-terminalçalışırsam Ubuntu 15.10'da ( sürüm 3.16.2'yi kullanarak ):

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

Alırım:

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

bu nedenle Ubuntu 14.10'daki anahtara default-size-columns(?) karşılık gelen bir default_size_columnsanahtar vardır, ancak Ubuntu 14.10'daki use-custom-default-sizeanahtara karşılık gelen bir anahtar yoktur use_custom_default_size. Bu da beni karıştırıyor.

Ayrıca, ben çalışmayı denerseniz:

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

ve yeni bir gnome-terminalayar açmanın default-size-columnsterminalin hala 80 sütunla açılmasından dolayı hiçbir etkisi yok gibi görünüyor


Lütfen hem 14.10 hem de 15.04 kullanım ömrünün sonuna geldiğinden önce 15.10'a yükseltin.
Byte Komutanı

@ByteCommander Şimdi 15.10'a yükselttim ve soru 15.04'teki wrt 15.10 ile aynı kaldı. Ayrıca göndermek istediğim bir çözüm buldum. Bu soru nasıl yeniden açılabilir, böylece çözümü gönderebilirim?
Håkon Hægland

Yanıtlar:


19

Komutla kullanılacak sözdizimi GNOME Terminal Sık Sorulan Sorulargsettings bölümünde açıklanmıştır .

Öncelikle değiştirmek istediğiniz profilin tanımlayıcısını bulmanız gerekir. Örneğin, gnome-terminalvarsayılan profilin tanımlayıcısı şemadan elde edilebilir org.gnome.Terminal.ProfilesList.

Ardından , bu profil için /org/gnome/terminal/legacy/profiles:/:UUID/şema yolunun istenen anahtarlarını değiştirin org.gnome.Terminal.Legacy.Profile:.

Yukarıdaki yoldaki iki nokta üst üste işaretlerini not edin. Atlanırsa çalışmaz.

default-size-columnsVarsayılan profili ayarlamak için yukarıdakileri kullanan bir komut dosyası aşağıdadır:

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

1
Çözümü kendiniz bulduğunuzu düşünün. Kendi cevabınızı kabul etmeyi unutmayın.
Bayt Komutanı

1
Aslında, kimliğinin yerine profilin numarasını belirtebilirsiniz, bu yüzden komut sadece şöyle olur:gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:0/ default-size-columns 150
Anatoli

1
Veya daha da kısa:gsettings set org.gnome.Terminal.Legacy.Profile:/:0/ default-size-columns 150
Anatoli

Cevabınız günümü kurtardı! "Org.gnome.Terminal.Legacy.Profile: / org / gnome / terminal / legacy / profiles: /: ... /" sözdizimini nasıl buldunuz? Belgelerde buldunuz mu? Beni sıkıştıran şey, "Profil" in ardından "/ org / gnome / ..." izlemesi gerektiğini fark etmememdi.
yaobin
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.