Skaluj paski tytułu i menu w Ubuntu 14.04 za pomocą Gnome

Zainstalowałem gnome w moim nowym 14.04 (nie w dystrybucji Ubuntu-Gnome). Zauważyłem, że paski tytułowe są ogromne i chciałbym to zmienić.

Chodzi o to, że to rozwiązanie stąd nie jest dla mnie dostępne:

1. Przejdź do Ustawień systemu.

2. Idź do Wyświetlaczy.

3. Przejdź do „Skaluj dla pasków menu i tytułów”.

4. Przeciągnij suwak do preferowanego rozmiaru.

Czy jest jeszcze gdzieś to zmienić? Bezskutecznie szukałem gnome-tweak-tool, a także ubuntu-tweak-tool.

To są moje okna wyświetlania i, jak widać, nie ma opcji skali.

Możesz dowiedzieć się, gdzie ustawienie zostało zmienione, jeśli otworzysz 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 '[>|<]'

Dowiesz się, że te ustawienia zostały zmienione (zmiana ze skalowania 1.0 na 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}

Lub zmieniając z 1,0 na 1,5 text-scaling-factor, zamiast tego zmienia się , ponieważ scale-factorjest liczbą całkowitą:

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

od 1,5 do 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}

Te ustawienia można edytować ręcznie za pomocą dconf-editor

Jest to bardzo interesujące w kontekście about:configzmiennej w Firefoksie : devPixelsPerPxktóra zmienia rozmiar w Firefoksie (zobacz także: Dlaczego wszystkie elementy formularza HTML są ogromne przy ogólnosystemowym współczynniku skali czcionek 2.0? )

Możesz także napisać skrypt, aby zmienić współczynnik skali za pomocą następujących ustawień /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

dodatkowo:

Nie powoduje to skalowania pasków tytułowych i menu, ale istnieje również narzędzie do dostosowywania jedności , w którym można zmienić ogólne skalowanie czcionek.

Być może jest to alternatywa, której możesz użyć oprócz Obsługi skalowania w Ustawieniach systemu

Nie mam reputacji do komentowania, więc chcę tylko podziękować dzięki rubo77 , ponieważ jego odpowiedź nie tylko dobrze rozwiązuje problem, ale dodaje użyteczny fragment kodu gsettings.

Chciałbym również wnieść coś więcej ...

W moim HP ProBook 5320m dane wyjściowe skryptu podczas przesuwania suwaka z 0,875 na 1 wynoszą:

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

ale dowiedziałem się, że wystarczy zmienić wartość w ostatnim wierszu oznaczającym com.ubuntu.user-interface scale-factor LDVS1parametr. Oczywiście zawsze jest 8 razy współczynnik skali rzeczywistej, a cursor-sizei text-scaling-factorzmienia się wraz z nim odpowiednio (dla skalowania> 2 to także zmienia < org.gnome.desktop.interface scaling-factor uint32się od 1 do 2 lub wyższy, ale procedura opisana nadal działa tak samo).

To

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

to, co włożyłem, .bashrcaby bezbłędnie zmieniać skalowanie w terminalu, np. pisanie gnsc 0.875, mimo że nie mam problemu z pominięciem suwaka w początkowym pytaniu.

To mój pierwszy post na StackExchange , więc mam nadzieję, że ktoś uzna to za przydatne! :)