Шкала рядків заголовків і меню в Ubuntu 14.04 з Gnome

Я встановив gnome у своєму новому 14.04 (не дистрибутив Ubuntu-Gnome). Я помітив, що заголовок величезний, і я хотів би змінити.

Справа в тому, що таке рішення для мене тут недоступне:

1. Перейдіть у Налаштування системи.

2. Перейдіть до дисплеїв.

3. Перейдіть до "Шкала для рядків меню та заголовка".

4. Перетягніть повзунок на бажаний розмір.

Чи є десь ще я міг би це змінити? Я заглянув у gnome-tweak-tool, а також ubuntu-tweak-tool без успіху.

Це мої вікна, і, як бачите, немає варіанту масштабу.

Ви можете дізнатися, де змінюється налаштування, якщо ви відкриєте термінал:

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

Ви дізнаєтесь, що ці налаштування були змінені (змінюючись від масштабування 1,0 до 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}

Або при зміні від 1,0 до 1,5 text-scaling-factorзамість цього змінюється , тому що scale-factorце ціле число:

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

Ці налаштування можна редагувати вручну за допомогою dconf-editor

Це дуже цікаво в контексті about:configзмінної в Firefox : devPixelsPerPxяка змінює розмір всередині Firefox (див. Також: Чому всі елементи форм HTML величезні із загальносистемним коефіцієнтом масштабу шрифту 2.0? )

Крім того, ви можете написати сценарій, щоб змінити коефіцієнт масштабу за допомогою таких параметрів, як /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

додатково:

Це не масштабує рядки заголовка та меню, але є також інструмент об'єднання-налаштування , де ви можете змінити загальний масштаб шрифту.

Можливо, це альтернатива, яку ви могли б використовувати, крім підтримки підтримки масштабування в налаштуваннях системи

У мене немає репутації коментувати, тому я просто хочу сказати спасибі rubo77 , тому що його відповідь не тільки добре вирішує проблему, але й додає корисний фрагмент коду, на який потрібно скористатися gsettings.

Я також хотів би долучитися ще трохи ...

На моєму HP ProBook 5320m вихід його сценарію при переміщенні повзунка з 0,875 до 1 становить:

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

але я з'ясував, що досить змінити значення в останньому рядку, що стоїть за com.ubuntu.user-interface scale-factor LDVS1параметром. Очевидно, що це завжди в 8 разів більше реального коефіцієнта масштабу, cursor-sizeі text-scaling-factorвін змінюється разом з ним відповідно (для масштабування> 2 він змінюється також < org.gnome.desktop.interface scaling-factor uint32від 1 до 2 або вище, але описана процедура все одно працює тим самим).

Це

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

це те, що я вкладаю в своє, .bashrcщоб змінити масштабування бездоганно в терміналі, наприклад. набравши текст gnsc 0.875, хоча у мене немає проблеми з відсутністю повзунка з початкового питання.

Це моє перше повідомлення на StackExchange коли-небудь, тож сподіваюся, хтось знайде це корисним! :)