Thanh tiêu đề và menu tỷ lệ trong Ubuntu 14.04 với Gnome

Tôi đã cài đặt gnome trong 14.04 mới (không phải bản phân phối Ubuntu-Gnome). Tôi đã nhận thấy các thanh tiêu đề là rất lớn, và tôi muốn thay đổi.

Những điều là giải pháp này từ đây không có sẵn cho tôi:

1. Chuyển đến Cài đặt hệ thống.

2. Đi đến Hiển thị.

3. Chuyển đến "Tỷ lệ cho thanh menu và thanh tiêu đề."

4. Kéo thanh trượt đến kích thước ưa thích của bạn.

Có nơi nào khác tôi có thể thay đổi điều này? Tôi đã tìm kiếm trong công cụ gnome-chỉnh-công cụ và cả ubay-công cụ-tinh chỉnh-công cụ mà không thành công.

Đây là cửa sổ hiển thị của tôi và, như bạn có thể thấy, không có tùy chọn tỷ lệ.

Bạn có thể tìm ra nơi thay đổi cài đặt nếu bạn mở một thiết bị đầu cuối:

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

Bạn phát hiện ra rằng các cài đặt này đã được thay đổi (thay đổi từ tỷ lệ 1.0 thành 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}

Hoặc thay đổi từ 1.0 thành 1.5 thay vào text-scaling-factorđó scale-factorlà số nguyên:

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

từ 1,5 đến 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}

Những cài đặt đó có thể được chỉnh sửa bằng tay với dconf-editor

Điều này rất thú vị trong bối cảnh với about:configbiến trong Firefox : devPixelsPerPxthay đổi kích thước bên trong Firefox (xem thêm: Tại sao tất cả các thành phần biểu mẫu HTML rất lớn với hệ số tỷ lệ phông chữ toàn hệ thống 2.0? )

Ngoài ra, bạn có thể viết một tập lệnh để thay đổi hệ số tỷ lệ với các cài đặt này như /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

Ngoài ra:

Điều này không mở rộng các thanh tiêu đề và menu, nhưng cũng có công cụ unity-chỉnh-công cụ , nơi bạn có thể thay đổi tỷ lệ phông chữ tổng thể.

Có lẽ đó là một giải pháp thay thế mà bạn có thể sử dụng ngoài Hỗ trợ mở rộng trong Cài đặt hệ thống

Tôi không có tiếng tăm để bình luận, vì vậy tôi chỉ muốn nói cảm ơn với rubo77 , bởi vì câu trả lời của anh ấy không chỉ giải quyết vấn đề tốt mà còn thêm một đoạn mã hữu ích để phạm vi gsettings.

Tôi cũng muốn đóng góp thêm ...

Trên HP ProBook 5320m của tôi, đầu ra của tập lệnh của anh ấy khi di chuyển thanh trượt từ 0.875 sang 1 là:

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

nhưng tôi đã phát hiện ra rằng nó đủ để thay đổi giá trị ở dòng cuối cùng cho com.ubuntu.user-interface scale-factor LDVS1tham số. Rõ ràng đây luôn là 8 lần hệ số tỷ lệ thực và cursor-sizevà text-scaling-factorđang thay đổi cùng với nó (đối với tỷ lệ> 2, nó cũng thay đổi < org.gnome.desktop.interface scaling-factor uint32từ 1 đến 2 hoặc cao hơn, nhưng quy trình được mô tả vẫn hoạt động như nhau).

Điều này

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

là những gì tôi đưa vào .bashrcđể thay đổi tỷ lệ hoàn hảo trong một thiết bị đầu cuối, ví dụ. gõ gnsc 0.875, mặc dù tôi không có vấn đề thiếu thanh trượt từ câu hỏi ban đầu.

Đây là bài viết đầu tiên của tôi trên StackExchange , vì vậy tôi hy vọng ai đó sẽ thấy nó hữu ích! :)