ปรับขนาดหัวเรื่องและเมนูใน Ubuntu 14.04 ด้วย Gnome

9

ฉันได้ติดตั้ง gnome ใน 14.04 ใหม่ของฉัน (ไม่ใช่การกระจาย Ubuntu-Gnome) ฉันสังเกตเห็นว่าแถบหัวเรื่องมีขนาดใหญ่มากและฉันต้องการเปลี่ยน

สิ่งที่เป็นที่โซลูชันนี้จากที่นี่ไม่สามารถใช้ได้สำหรับฉัน:

ไปที่การตั้งค่าระบบ

ไปที่จอแสดงผล

ไปที่ "ปรับขนาดสำหรับเมนูและแถบชื่อเรื่อง"

ลากตัวเลื่อนไปยังขนาดที่คุณต้องการ

มีที่ไหนอีกบ้างที่ฉันสามารถเปลี่ยนแปลงสิ่งนี้ได้? ฉันดูใน gnome-tweak-tool และ ubuntu-tweak-tool ไม่สำเร็จ

นี่คือหน้าต่างแสดงผลของฉันและอย่างที่คุณเห็นไม่มีตัวเลือกมาตราส่วน

unity gnome titlebar

— เปโดร Dusso
แหล่งที่มา

ทำไมคุณต้องการตัวเลือกอื่นในการเปลี่ยนแปลงนี้ คุณไม่พอใจหรือไม่? หรือ ** ทำไมถึงไม่มีให้คุณ?

— rubo77

7

คุณสามารถค้นหาการตั้งค่าที่เปลี่ยนแปลงได้หากคุณเปิดเทอร์มินัล:

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

คุณพบว่าการตั้งค่าเหล่านี้เปลี่ยนไป (เปลี่ยนจากการปรับขนาดเป็น 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-toolซึ่งคุณสามารถเปลี่ยนการปรับขนาดตัวอักษรโดยรวมได้

อาจเป็นอีกทางเลือกหนึ่งที่คุณสามารถใช้นอกเหนือจากการสนับสนุนการปรับในการตั้งค่าระบบ

— rubo77
แหล่งที่มา

2

ฉันไม่ได้มีชื่อเสียงในการแสดงความคิดเห็นเพื่อให้ผมแค่อยากจะบอกว่าขอบคุณที่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ดังนั้นฉันหวังว่าบางคนจะพบว่ามีประโยชน์! :)

— luke.12
แหล่งที่มา