Проблема

Я хочу смочь иметь другой набор опций масштабирования интерфейса на монитор. Прямо сейчас я могу только изменить значения для всех мониторов.

Я использую Ubuntu Gnome 15.04 на Углероде Lenovo ThinkPad X1 (третье поколение). Я буду значительно ценить любую справку, которую любой может обеспечить.

Текущие настройки

$ xdpyinfo | grep dots
resolution:    96x96 dots per inch

$ xrdb -query | grep dpi
Xft.dpi:    144

$ cat /var/log/Xorg.0.log | grep DPI
[    18.258] (==) intel(0): DPI set to (96, 96)

$ xrandr | grep -w connected
eDP1 connected primary 2560x1440+0+0 (normal left inverted right x axis y axis) 310mm x 174mm
HDMI2 connected 2560x1080+2560+0 (normal left inverted right x axis y axis) 798mm x 334mm

$ gnome-shell --version
GNOME Shell 3.14.4

Идеал для ноутбука

$ gsettings get org.gnome.desktop.interface text-scaling-factor
0.75
$ gsettings get org.gnome.settings-daemon.plugins.xsettings overrides
{'Gtk/ShellShowsAppMenu': <0>, 'Gdk/WindowScalingFactor': <2>}

Идеал для внешнего монитора

$ gsettings get org.gnome.desktop.interface text-scaling-factor
0.5
$ gsettings get org.gnome.settings-daemon.plugins.xsettings overrides
{'Gtk/ShellShowsAppMenu': <0>, 'Gdk/WindowScalingFactor': <1>}

Я испытанный

масштаб xrandr

$ xrandr --output HDMI1 --scale 2x2

Это походило на хороший результат, но экран, изолированный трудно. Это неприменимо.