แป้นพิมพ์ลัดใดที่เปลี่ยนแปลงขนาดข้อความเทอร์มินัล `xfce4-terminal`?

เคยเป็นที่Ctrl+ -และCtrl+ +จะเพิ่มหรือลดขนาดข้อความของเทอร์มินัลใน Ubuntu รุ่นก่อนหน้าซึ่งมีประโยชน์เมื่อคุณกำลังนำเสนอและต้องการแสดงรหัสของคุณในขนาดที่ใหญ่ขึ้น ฉันเปลี่ยนเป็น Xubuntu 12.04 และฉันไม่มีแป้นพิมพ์ลัดเหล่านี้

มีทางเลือกอื่นที่ฉันสามารถใช้ได้หรือไม่? หรือถ้าไม่มีวิธีที่ฉันสามารถกำหนดทางลัดของตัวเองเพื่อแทนที่เหล่านี้หรือไม่

อัปเดต:ยินดีที่จะรายงานว่าคำถามนี้ได้รับการพิจารณาสำหรับเวอร์ชันล่าสุดแล้วxfce4-terminal! ดูที่นี่

แทนที่จะพึ่งพา Python และโมดูลที่ขาดหายไปเช่นเดียวกับในโซลูชัน github ของ Noah K. Tilton ฉันได้ร่างสคริปต์ทุบตีซึ่งเป็นขั้นตอนที่ใกล้เคียงกับการพกพาได้มากขึ้น

คุณอาจต้องปรับแต่งสคริปต์เพื่อตั้งค่าเส้นทางการกำหนดค่า xfce ของคุณแบบอักษรที่คุณชื่นชอบ ฯลฯ

เพียงแค่ 2 ไฟล์หลุดเข้าไปในโฟลเดอร์ ~ / bin ของบ้านของฉัน "zoomin" และ "zoomout" ฉันไม่ได้ไปไกลกว่าการทำคำสั่งสั้น ๆ ที่ฉันสามารถพิมพ์ได้อย่างรวดเร็วดังนั้นฉันจึงไม่รู้ว่าฉันจะสามารถกำหนดค่าสคริปต์เหล่านี้ให้ตอบสนองเฉพาะเมื่อฉันอยู่ใน xfce4-terminal - หมายความว่า ฉันเลิกคิดเกี่ยวกับวิธีการทำ keybindings สำหรับCtrl+ -และCtrl+ +เพราะตอนนี้ฉันเพิ่งรู้เกี่ยวกับการผูกคีย์บอร์ดทั่วโลกและไม่ต้องการแทนที่ Keypress Combos เหล่านั้นเนื่องจากแอปพลิเคชันอื่น ๆ จะต้องใช้พวกเขา (เช่นเว็บเบราว์เซอร์โปรแกรมแก้ไขข้อความ)

ฉันยังคิดเกี่ยวกับการมี "zoommin" และ "zoommax" เพื่อข้ามไปยังฟอนต์ที่เล็กที่สุดและใหญ่ที่สุดของฉันเมื่อต้องการโดยทั่วไปเมื่อฉันต้องการเห็นข้อความ VS จำนวนมากเมื่อฉันต้องการแสดงเพื่อนร่วมงานบนหน้าจอของฉัน ฉันจะปล่อยให้ทั้งสองสคริปต์ขึ้นอยู่กับจินตนาการของคุณเกี่ยวกับวิธีการสร้าง: P

~ / bin / ZoomIn

#!/bin/bash
SIZE=`grep 'FontName' ~/.config/xfce4/terminal/terminalrc | cut -d' ' -f 2`
NEWSIZE=$((SIZE + 2))
REGEXPR='s/FontName.*/FontName=Monospace '$NEWSIZE'/g'
sed -i "$REGEXPR" ~/.config/xfce4/terminal/terminalrc

~ / bin / ZoomOut

#!/bin/bash
SIZE=`grep 'FontName' ~/.config/xfce4/terminal/terminalrc | cut -d' ' -f 2`
NEWSIZE=$((SIZE - 2))
REGEXPR='s/FontName.*/FontName=Monospace '$NEWSIZE'/g'
sed -i "$REGEXPR" ~/.config/xfce4/terminal/terminalrc

อัปเดต: ด้วยความมุ่งมั่นการปรับขนาดได้รับการสนับสนุนในขณะนี้Ctrl +และCtrl -ล้าสมัยซึ่งคำถามของฉัน

คำตอบอื่น ๆ xfce4-terminalในหัวข้อนี้ยังคงมีคุณค่าหากคุณกำลังใช้รุ่นเก่าของ

ทางลัดที่คุณพูดถึงนั้นมีไว้สำหรับ gnome-terminal ซึ่งเป็นเทอร์มินัลเริ่มต้นที่ใช้โดย gnome (และสิ่งต่อไปนี้โดย Ubuntu มาตรฐาน) XFCE ซึ่งเป็นสภาพแวดล้อมหลักใน Xubuntu มีการติดตั้งด้วยตนเอง อย่างไรก็ตามเท่าที่ฉันสามารถบอกได้มันเป็นไปไม่ได้ใน xfce4-terminal ที่จะเปลี่ยนขนาดตัวอักษรด้วยทางลัด (คุณสามารถดูรายการของทางลัดที่เป็นไปได้เมื่อคุณไปที่ Edit-> Preferences-> Shortcuts)

หากคุณใช้คุณสมบัตินี้คุณสามารถติดตั้ง gnome-terminal ได้ แต่เนื่องจากจุดรวมของการใช้ XFCE นั้นมักจะไม่เกี่ยวข้องกับไลบรารีของ Gnome ที่ค่อนข้างหนักนี่อาจเป็นสิ่งที่ไม่ก่อผล

มันเป็นไปได้ แต่ไม่ผ่าน xfce4 ที่เหมาะสมโดยใช้วิธีแก้ปัญหานี้:

https://github.com/noah/xfce4-terminal-font

(ต้องการหลาม)

ฉันใช้มันในตัวจัดการหน้าต่างที่ยอดเยี่ยมเช่นนี้:

awful.key({ "Control", "Shift" }, "Up", function () awful.util.spawn(script_dir .. "/xfce4-terminal-font +", false)end),
awful.key({ "Control", "Shift" }, "Down", function () awful.util.spawn(script_dir .. "/xfce4-terminal-font -", false)end),

มันเป็นบิตของการแฮ็ก แต่ใช้ได้

ในขณะที่คำตอบที่เหลือในที่นี้ต้องการให้คุณสร้าง 'แฮ็ค' บางประเภทโดยใช้สคริปต์ที่กำหนดเองซึ่งอาจแตกหักหรือไม่แตกต่างกันเมื่อทำการอัพเกรดระบบของคุณ แต่พบคำตอบจริง / อื่น ๆ ในคำถาม StackOverflow ที่นี่:

สามารถซูมเข้าและออกได้หรือไม่?

โดยผู้ใช้: Chenming Zhang

Edit > Preferences > Appearance

คุณจะเห็นตัวเลือก: Font

ซึ่งมีทั้งแบบอักษรที่เลือกและขนาดของแบบอักษรข้อความ

ฉันรู้ว่าคุณกำลังมองหา 'ทางลัด' แต่ตัวเลือกอื่น ๆ ทั้งหมดดูเหมือนจะต้องการการปรับแต่งมากมายในขณะที่ใช้เส้นทางนี้จะทำให้แน่ใจได้ว่าคุณจะไม่พลาดการปรับแต่งเทอร์มินัล

คำตอบนี้ยังถูกโพสต์ที่นี่สำหรับใครก็ตามที่ต้องการตัวเลือกอื่นctrl +-สำหรับการซูมเข้า / ออก

สคริปต์ต่อไปนี้ตรวจสอบว่า Xfce4 Terminal กำลังทำงานอยู่หรือไม่ หากไม่เป็นเช่นนั้นสคริปต์จะออก สคริปต์นี้ใช้อาร์กิวเมนต์script-name --inเพื่อซูมเข้าและscript-name --outซูมออก มันจะทำงานสำหรับประเภทตัวอักษรใด ๆ (ประเภทตัวอักษรที่แตกต่างกันมีจำนวนคำแตกต่างกัน)

ผมตั้งชื่อสคริปต์ขั้วซูมของฉันและฉันใช้Ctrl Alt +สำหรับterminal-zoom --inและสำหรับCtrl Alt -terminal-zoom --out

#!/bin/bash

# Check if Xfce4 Terminal is running. If it is not, exit.
status=$(pgrep xfce4-terminal)

if [ -z "$status" ]; then
    notify-send "No Xfce4 Terminal session is open."
    exit 1
fi

# 1. Get the full line. 2. Get the entire line minus font size. 3. Get only font size. 
line=$(grep "FontName" ~/.config/xfce4/terminal/terminalrc)
font_name=$(echo "$line" | sed s/'\w*$'//)
font_size=$(echo "$line" | grep -oE '[^ ]+$')

# Increase or decrease font size. You might want to change this to increase and decrease by two.
if [ "$1" = "--in" ]; then
    new_size=$((font_size + 1))
elif [ "$1" = "--out" ]; then
    new_size=$((font_size - 1))
else
    notify-send "Argument options: --in --out"
    exit 1
fi

# Replace the line with the new font size.
action='s/'$font_name$font_size'/'$font_name$new_size'/'
sed -i "$action" ~/.config/xfce4/terminal/terminalrc

# Show the new current font being used.
notify-send -t 200 "$new_size pt font"

ขณะนี้ไม่มี xfce- คำย่อ - เสนอทางลัด พิจารณา Terminator ซึ่งมีน้ำหนักเบาในการพึ่งพา (ไม่เหมือนกับคำว่า Gnome) และเสนอการซูมเข้า - ออกผ่าน CTRL + SHIFT + "+"

นี่เป็นหัวข้อเก่า แต่สงสัยว่าคนอื่นทำสิ่งนี้อย่างไร ฉันใช้ i3-wm และเขียนสคริปต์นี้เพื่อใช้กับมัน

#!/bin/bash

TRC=~/.config/xfce4/terminal/terminalrc
OldLine=$(grep FontName $TRC)
FontSize=$(echo $OldLine |sed 's/FontName=.* \([[:digit:]]\+\)/\1/g')
OldFont=$(echo $OldLine | sed 's/\(FontName=.*\) [[:digit:]]\+/\1/g')

if [ "$1" == "in" ] 
    then
        FontSize=$((FontSize+1))
fi

if [ "$1" == "out" ]
    then
        FontSize=$((FontSize-1))
fi

if [ "$1" == "reset" ]
    then
        FontSize=11
fi

NewLine="$OldFont $FontSize"
sed -i "s/$OldLine/$NewLine/g" $TRC

ฉันปรับปรุงมันโดยดูที่คนอื่นในสคริปต์ที่นี่

#!/bin/bash

#Check if xfce4-terminal is running, If not exit.
Status=$(pgrep xfce4-terminal)
if [ -z "$Status" ] 
    then
        exit 1
fi

TRC=~/.config/xfce4/terminal/terminalrc
OldLine=$(grep FontName $TRC)
FontSize=$(echo $OldLine |sed 's/FontName=.* \([[:digit:]]\+\)/\1/g')
OldFont=$(echo $OldLine | sed 's/\(FontName=.*\) [[:digit:]]\+/\1/g')

if [ "$1" == "in" ] 
    then
        FontSize=$((FontSize+1))
fi

if [ "$1" == "out" ]
    then
        FontSize=$((FontSize-1))
fi

if [ "$1" == "reset" ]
    then
        FontSize=11
fi

NewLine="$OldFont $FontSize"
sed -i "s/$OldLine/$NewLine/g" $TRC