Gnome ile Ubuntu 14.04'te başlık çubuklarını ve menüyü ölçeklendirme

Gnome'u yeni 14.04'üme kurdum (Ubuntu-Gnome dağıtımı değil). Başlık çubuklarının çok büyük olduğunu fark ettim ve değiştirmek istiyorum.

Şeyler bu çözüm olmasıdır burada benim için kullanılamaz:

1. Sistem Ayarları'na gidin.

2. Ekranlar'a gidin.

3. "Menü ve başlık çubukları için ölçeklendir" e gidin.

4. Kaydırıcıyı istediğiniz boyuta sürükleyin.

Bunu değiştirebileceğim başka bir yer var mı? Gnome-tweak-tool'a ve ubuntu-tweak-tool'a da başarı olmadan baktım.

Bu benim ekran pencerelerim ve gördüğünüz gibi ölçek seçeneği yok.

Bir terminal açarsanız ayarın nerede değiştirildiğini öğrenebilirsiniz:

gsettings list-recursively>/tmp/before
echo 'Now unity-control-center should open. Please change the scaling in "Displays" and close.'
unity-control-center
gsettings list-recursively>/tmp/after
diff /tmp/before /tmp/after |grep '[>|<]'

Bu ayarların değiştirildiğini (1.0 ölçeğinden 2.0'a değiştirerek) öğrendiniz:

< org.gnome.desktop.interface scaling-factor uint32 1
> org.gnome.desktop.interface scaling-factor uint32 2
< com.ubuntu.user-interface scale-factor {'HDMI1': 8, 'eDP1': 8}
> com.ubuntu.user-interface scale-factor {'HDMI1': 8, 'eDP1': 16}

Veya 1.0'dan 1.5'e değiştirilirken bunun text-scaling-factoryerine scale-factortamsayı kullanılır:

< org.gnome.desktop.interface text-scaling-factor 1.0
> org.gnome.desktop.interface text-scaling-factor 1.5
< org.gnome.desktop.interface cursor-size 24
> org.gnome.desktop.interface cursor-size 36
< com.ubuntu.user-interface scale-factor {'HDMI1': 8, 'eDP1': 8}
> com.ubuntu.user-interface scale-factor {'HDMI1': 8, 'eDP1': 12}

1.5'den 2.0'a:

< org.gnome.desktop.interface scaling-factor uint32 1
> org.gnome.desktop.interface scaling-factor uint32 2
< org.gnome.desktop.interface text-scaling-factor 1.5
> org.gnome.desktop.interface text-scaling-factor 1.0
< org.gnome.desktop.interface cursor-size 36
> org.gnome.desktop.interface cursor-size 24
< com.ubuntu.user-interface scale-factor {'HDMI1': 8, 'eDP1': 12}
> com.ubuntu.user-interface scale-factor {'HDMI1': 8, 'eDP1': 16}

Bu ayarlar el ile düzenlenebilir dconf-editor

Bu, Firefox'takiabout:config değişkenle bağlamda çok ilginç : FirefoxdevPixelsPerPx içindeki boyutu değiştirir (ayrıca bkz: Tüm HTML form öğeleri sistem çapında bir yazı tipi ölçeği faktör 2.0 ile neden büyüktür? )

Ayrıca, ölçek faktörünü aşağıdaki gibi ayarlarla değiştirmek için bir komut dosyası yazabilirsiniz /usr/local/bin/setscalefactor:

if [ "$1" == "1" ]; then
  # set scaling to x1.0
  gsettings set org.gnome.desktop.interface scaling-factor 1
  gsettings set com.ubuntu.user-interface scale-factor "{'HDMI1': 8, 'eDP1': 8}"
else
  # set scaling to x2.0
  gsettings set org.gnome.desktop.interface scaling-factor 2
  gsettings set com.ubuntu.user-interface scale-factor "{'HDMI1': 8, 'eDP1': 16}"
fi

bunlara ek olarak:

Bu, başlık çubuklarını ve menüyü ölçeklendirmez, ancak genel yazı tipi ölçeklendirmesini değiştirebileceğiniz birlik-ayarlama aracı da vardır .

Belki de bu, Sistem Ayarlarındaki Ölçeklendirme Desteği dışında kullanabileceğiniz bir alternatiftir

Yorum yapmak için itibarım yok, bu yüzden sadece rubo77 sayesinde söylemek istiyorum , çünkü cevabı sadece problemi iyi çözmüyor, ancak kapsam için yararlı bir kod parçası ekliyor gsettings.

Ayrıca biraz daha katkıda bulunmak istiyorum ...

HP ProBook 5320m'de kaydırıcıyı 0.875'ten 1'e getirirken komut dosyasının çıktısı:

< org.gnome.desktop.interface text-scaling-factor 0.875
> org.gnome.desktop.interface text-scaling-factor 1.0
< org.gnome.desktop.interface cursor-size 21
> org.gnome.desktop.interface cursor-size 24
< com.ubuntu.user-interface scale-factor {'default': 8, 'VGA1': 6, 'LVDS1': 7}
> com.ubuntu.user-interface scale-factor {'default': 8, 'VGA1': 6, 'LVDS1': 8}

ancak com.ubuntu.user-interface scale-factor LDVS1parametre için son satırdaki değeri değiştirmenin yeterli olduğunu öğrendim . Tabii ki, bu her zaman 8 kat gerçek ölçek faktörü olup cursor-sizeve text-scaling-factor(aynı zamanda değişir> ölçekleme için 2 buna göre onunla birlikte değişen < org.gnome.desktop.interface scaling-factor uint32, 1 ila 2 ya da daha yüksek, ancak tarif edilen işlem hala aynı şekilde çalışır).

Bu

function gnsc {
    b=$(echo "scale=0; $1*8" | bc) 
    b=${b%.*} 
    gsettings set com.ubuntu.user-interface scale-factor "{'default': 8, 'VGA1': 6, 'LVDS1': $b}" 
}

.bashrcbir terminal içinde ölçekleme kusursuz değiştirmek için benim koymak ne olduğunu , örneğin. gnsc 0.875İlk sorudan kaydırıcı eksik sorunum yok olsa bile, yazarak .

Bu StackExchange benim ilk yazı , bu yüzden birisi yararlı bulacaksınız umuyoruz! :)