Масштабируйте заголовки и меню в 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

дополнительно:

Это не масштабирует строки заголовка и меню, но есть также инструмент unity-tweak , где вы можете изменить общее масштабирование шрифта.

Может быть, это альтернатива, которую вы могли бы использовать помимо поддержки масштабирования в настройках системы

У меня нет репутации, чтобы комментировать, поэтому я просто хочу сказать спасибо 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 , поэтому я надеюсь, что кто-то найдет его полезным! :)