Skalieren Sie Titelleisten und Menü in Ubuntu 14.04 mit Gnome

Ich habe gnome in meinem neuen 14.04 installiert (nicht die Ubuntu-Gnome-Distribution). Ich habe jedoch festgestellt, dass die Titelleisten riesig sind und ich möchte sie ändern.

Die Sache ist, dass diese Lösung von hier für mich nicht verfügbar ist:

1. Gehen Sie zu Systemeinstellungen.

2. Gehen Sie zu Anzeigen.

3. Gehen Sie zu "Skalieren für Menü- und Titelleisten".

4. Ziehen Sie den Schieberegler auf Ihre bevorzugte Größe.

Gibt es irgendwo anders, wo ich das ändern könnte? Ich habe in Gnome-Tweak-Tool und auch Ubuntu-Tweak-Tool ohne Erfolg gesucht.

Dies sind meine Anzeigefenster, und wie Sie sehen können, gibt es keine Skalierungsoption.

Sie können herausfinden, wo die Einstellung geändert wird, wenn Sie ein Terminal öffnen:

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

Sie stellen fest, dass diese Einstellungen geändert wurden (von Skalierung 1.0 auf 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}

Oder wenn Sie von 1.0 auf 1.5 wechseln, wird text-scaling-factorstattdessen das geändert , weil scale-factores eine Ganzzahl ist:

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

von 1,5 bis 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}

Diese Einstellungen können von Hand mit bearbeitet werden dconf-editor

Dies ist im Zusammenhang mit der about:configVariablen in Firefox sehr interessant : Sie devPixelsPerPxändert die Größe in Firefox (siehe auch: Warum sind alle HTML-Formularelemente mit einem systemweiten Schriftgrößenfaktor 2,0 riesig? )

Sie können auch ein Skript schreiben, um den Skalierungsfaktor mit folgenden Einstellungen zu ändern /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

zusätzlich:

Dadurch werden die Titelleisten und das Menü nicht skaliert, aber es gibt auch ein Unity-Tweak-Tool , mit dem Sie die gesamte Schriftartenskalierung ändern können.

Vielleicht ist dies eine Alternative, die Sie neben der Skalierungsunterstützung in den Systemeinstellungen verwenden können

Ich habe keinen Ruf zu kommentieren, deshalb möchte ich mich nur bei rubo77 bedanken , da seine Antwort das Problem nicht nur gut löst, sondern auch einen nützlichen Code zum Umfang hinzufügt gsettings.

Ich würde auch gerne noch etwas beitragen ...

Auf meinem HP ProBook 5320m lautet die Ausgabe seines Skripts beim Verschieben des Schiebereglers von 0,875 auf 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}

aber ich habe herausgefunden, dass es ausreicht, den Wert in der letzten Zeile zu ändern, die für com.ubuntu.user-interface scale-factor LDVS1Parameter steht. Offensichtlich ist dies immer das 8-fache des realen Skalierungsfaktors und der cursor-sizeund text-scaling-factorändert sich entsprechend mit (für Skalierung> 2 ändert sich auch < org.gnome.desktop.interface scaling-factor uint32von 1 auf 2 oder höher, aber das beschriebene Verfahren funktioniert immer noch genauso).

Dies

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

ist das, was ich in meine .bashrceingegeben habe , um die Skalierung innerhalb eines Terminals fehlerfrei zu ändern, z. Tippen gnsc 0.875, obwohl ich nicht das Problem habe, dass der Schieberegler in der ersten Frage fehlt.

Dies ist mein erster Beitrag auf StackExchange , also hoffe ich, dass jemand ihn nützlich findet! :) :)