Skala bar judul dan menu di Ubuntu 14.04 dengan Gnome

Saya telah menginstal gnome di 14.04 baru saya (bukan distribusi Ubuntu-Gnome). Saya perhatikan bar judul sangat besar, dan saya ingin mengubahnya.

Masalahnya adalah bahwa solusi dari sini tidak tersedia untuk saya:

1. Buka Pengaturan Sistem.

2. Pergi ke Layar.

3. Buka "Skala untuk bilah menu dan judul."

4. Seret penggeser ke ukuran yang Anda inginkan.

Apakah ada tempat lain yang bisa saya ubah? Saya mencari di gnome-tweak-tool dan juga ubuntu-tweak-tool tanpa hasil.

Ini jendela tampilan saya dan, seperti yang Anda lihat, tidak ada opsi skala.

Anda dapat mengetahui di mana pengaturan diubah jika Anda membuka terminal:

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 '[>|<]'

Anda mengetahui, bahwa pengaturan ini telah diubah (berubah dari penskalaan 1.0 ke 2.0):

< 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}

Atau mengubah dari 1,0 ke 1,5 ada yang berubah sebagai text-scaling-factorgantinya, karena scale-factorbilangan bulat:

< 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}

dari 1,5 menjadi 2,0:

< 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}

Pengaturan tersebut dapat diedit dengan tangan dengan dconf-editor

Ini sangat menarik dalam konteks dengan about:configvariabel di Firefox : devPixelsPerPxyang mengubah ukuran di dalam Firefox (lihat juga: Mengapa semua elemen bentuk HTML besar dengan faktor skala skala sistem 2.0? )

Anda juga dapat menulis skrip untuk mengubah faktor skala dengan pengaturan ini seperti /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

tambahan:

Ini tidak menskalakan bilah judul dan menu, tetapi ada juga alat penyatuan temat , di mana Anda dapat mengubah penskalaan font secara keseluruhan.

Mungkin itu adalah alternatif yang bisa Anda gunakan selain dari Dukungan Penskalaan dalam Pengaturan Sistem

Saya tidak memiliki reputasi untuk berkomentar, jadi saya hanya ingin mengucapkan terima kasih kepada rubo77 , karena jawabannya tidak hanya memecahkan masalah dengan baik, tetapi menambahkan potongan kode yang berguna untuk lingkup ke dalamnyagsettings .

Saya juga ingin berkontribusi lagi ...

Pada HP ProBook 5320m saya, output skripnya saat memindahkan slider dari 0,875 ke 1 adalah:

< 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}

tapi saya sudah tahu, itu sudah cukup untuk mengubah nilai di baris terakhir untuk com.ubuntu.user-interface scale-factor LDVS1parameter. Jelas ini selalu 8 kali faktor skala nyata dan cursor-sizedan text-scaling-factorberubah seiring dengan itu (untuk skala> 2 itu berubah juga < org.gnome.desktop.interface scaling-factor uint32dari 1 menjadi 2 atau lebih tinggi, tetapi prosedur yang dijelaskan masih bekerja sama).

Ini

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}" 
}

adalah apa yang saya masukkan ke dalam .bashrcuntuk mengubah skala dengan sempurna di dalam terminal, misalnya. mengetik gnsc 0.875, meskipun saya tidak memiliki masalah slider yang hilang dari pertanyaan awal.

Ini adalah posting pertama saya di StackExchange , jadi saya harap seseorang akan merasakan manfaatnya! :)