Какие сочетания клавиш изменяют размер текста терминала xfce4-терминал?

Раньше считалось, что Ctrl + - и Ctrl + + увеличивают или уменьшают размер текста терминала в более ранних версиях Ubuntu, что полезно, когда вы проводите презентации и хотите показать свой код в большем размере. Я переключился на Xubuntu 12.04, и мне не хватает этих сочетаний клавиш.

Есть ли альтернатива, которую я могу использовать? Или, если нет, есть ли способ, которым я могу определить свой собственный ярлык, чтобы заменить их?

Обновление: Рад сообщить, что этот вопрос в настоящее время является спорным для последних версий xfce4-terminal! См. здесь .

11
задан 13 April 2017 в 15:23

8 ответов

Вместо того, чтобы полагаться на Python и отсутствующие модули, как в решении github Ноа К. Тилтона, я разработал сценарий bash, который на шаг ближе к тому, чтобы стать более переносимым (по крайней мере, для установок, использующих самые общие пути по умолчанию).

Вам может понадобиться настроить скрипт, чтобы настроить путь конфигурации xfce, ваш любимый шрифт и т. Д.

Всего 2 файла, помещенных в папку ~ / bin моего дома, "zoomin" и "zoomout". Я не пошел дальше, чем создание коротких команд, которые я могу быстро набрать, поэтому я понятия не имею, как я смогу настроить эти сценарии так, чтобы они отвечали ТОЛЬКО, когда я нахожусь внутри терминала xfce4 - это означает, что Я перестал думать о том, как получить сочетания клавиш, сделанные для Ctrl + - и Ctrl + + , потому что я в настоящее время Он знает только о глобальных привязках клавиатуры и не хочет переопределять эти комбинации клавиш, поскольку они понадобятся другим приложениям (например, веб-браузер, текстовый редактор).

Я также думал о том, чтобы использовать «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

[ 113] ~ / 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
0
ответ дан 13 April 2017 в 15:23

Это возможно возможно, но не через xfce4, используя этот обходной путь:

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

(требуется Python).

Я использую его в потрясающем оконном менеджере, например, так:

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),

Это что-то вроде хака, но это работает.

0
ответ дан 13 April 2017 в 15:23

Обновление: начиная с этого коммита , изменение размера теперь поддерживается с помощью Ctrl + и Ctrl - , что отменяет мой вопрос.

Другие ответы в этой теме по-прежнему полезны, если вы используете более старые версии xfce4-terminal.

0
ответ дан 13 April 2017 в 15:23

Вы упомянули ярлыки для терминала gnome, терминала по умолчанию, используемого gnome (и, как следствие, стандартным Ubuntu). XFCE, основная среда в Xubuntu, имеет собственную реализацию терминала. Однако, насколько я могу судить, в xfce4-терминал невозможно изменить размер шрифта с помощью ярлыка (список возможных ярлыков можно увидеть при переходе в «Правка-> Настройки-> Ярлыки»).

Если вы полагаетесь на эту функцию, вы можете установить gnome-терминал, но поскольку весь смысл использования XFCE часто заключается в том, что он не включает в себя довольно тяжелые библиотеки Gnome, это может быть немного непродуктивно.

0
ответ дан 13 April 2017 в 15:23

В то время как остальная часть ответов здесь требует, чтобы Вы создали некоторый тип 'взлома' с помощью пользовательских сценариев, которые могут или не могут повредиться при выполнении обновлений системы, фактический/другой ответ был найден в вопросе о StackOverflow здесь:

Энергия может увеличить и уменьшить масштаб?

Пользователем: Chenming Zhang

Edit > Preferences > Appearance

Вы будете видеть опцию: Font

Который содержит и выбранный шрифт и размер текста шрифта.

Я знаю, что Вы ищете 'ярлык', но все другие опции, кажется, требуют большой настройки, тогда как хождение этим путем гарантирует, чтобы Вы не завинчивали свой Терминал ни с какими настройками.

Этот ответ также отправляется здесь для кого-либо, которому нужна альтернативная опция к ctrl +- для изменения масштаба в/.

1
ответ дан 13 April 2017 в 15:23

Следующий скрипт проверяет, работает ли терминал Xfce4. Если это не так, скрипт завершается. Этот скрипт использует аргументы, script-name --in для увеличения и script-name --out для уменьшения. Это будет работать для любого типа шрифта. (Разные типы шрифтов имеют разное количество слов.)

Я назвал свой скрипт Terminal-zoom, и я использую 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"
0
ответ дан 13 April 2017 в 15:23

В настоящее время xfce-term не предлагает быстрых клавиш для увеличения. Рассмотрим терминатор, который облегчает зависимости (в отличие от термина Gnome) и предлагает увеличение и уменьшение с помощью сочетания клавиш CTRL + SHIFT + "+"

0
ответ дан 13 April 2017 в 15:23

Это старому потоку, но было любопытно о том, как другие сделали это. Я использую 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
0
ответ дан 23 November 2019 в 04:05