web-dev-qa-db-ja.com

「xfce4-terminal」端末のテキストサイズを変更するキーボードショートカットは何ですか?

以前は Ctrl + - そして Ctrl + + Ubuntuの以前のバージョンでは、端末のテキストサイズを拡大または縮小します。これは、プレゼンテーションを行い、コードをより大きなサイズで表示する場合に役立ちます。 Xubuntu 12.04に切り替えましたが、これらのキーボードショートカットがありません。

使用できる代替手段はありますか?または、そうでない場合、これらを置き換える独自のショートカットを定義する方法はありますか?

更新:xfce4-terminalの最近のバージョンでは、この質問が今では意味がないと報告して嬉しいです! here を参照してください。

11
John Feminella

更新: this commit の時点で、サイズ変更がサポートされました Ctrl + そして Ctrl -、これは私の質問を廃止します。

古いバージョンのxfce4-terminalを使用している場合、このスレッドの他の回答は依然として価値があります。

2
John Feminella

Noah K. TiltonのgithubソリューションのようにPythonと欠落モジュールに依存する代わりに、私は(少なくとも、最も一般的なデフォルトを使用するインストールでは、より移植性に近いステップであるbashスクリプトを作成しました。パス)。

Xfce構成パス、お気に入りのフォントなどをセットアップするには、スクリプトを微調整する必要がある場合があります。

自宅の〜/ binフォルダーにある2つのファイル、「zoomin」と「zoomout」。私はすぐに入力できる短いコマンドを作成する以上のことをしなかったので、xfce4-terminalの内部にいるときにのみ応答するようにこれらのスクリプトを構成する方法がわかりません。キーバインドを作成する方法について考えるのをあきらめました Ctrl+- そして Ctrl++ 私は現在、グローバルキーボードバインディングについてのみ知っており、他のアプリケーションがそれらを必要とするため、それらのキープレスコンボをオーバーライドしたくなかったためです(例:Webブラウザー、テキストエディター)。

また、「zoommin」と「zoommax」を使用して、必要に応じて最小および最大のフォントにジャンプすることを考えました。通常、画面に同僚の何かを表示する必要があるときに大量のテキストを表示する必要があります。これら2つのスクリプトは、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
5
starlocke

あなたが言及するショートカットは、gnome-terminal、gnomeが使用するデフォルトの端末(そして、標準のUbuntuが使用するもの)です。 Xubuntuのメイン環境であるXFCEには、独自のターミナル実装があります。ただし、私が知る限り、xfce4-terminalではショートカットを使用してフォントサイズを変更することはできません([編集]-> [設定]-> [ショートカット]に移動すると、可能なショートカットのリストが表示されます)。

この機能に依存している場合、gnome-terminalをインストールできますが、XFCEを使用する主な目的は多くの場合、多少重いGnomeライブラリを使用しないことなので、これは少し非生産的かもしれません。

3
January

Xfce4を介してではなく、この回避策を使用して、Itisが可能です。

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

ちょっとしたハックですが、動作します。

1
g33kz0r

ここの残りの回答では、カスタムスクリプトを使用して何らかのタイプの「ハック」を作成する必要がありますが、システムをアップグレードするときに壊れるかどうかはわかりませんが、実際の/他の答えはStackOverflowの質問で見つかりました:

vimはズームインおよびズームアウトできますか?

ユーザー別: Chenming Zhang

Edit > Preferences > Appearance

オプションが表示されます:Font

選択したフォントとフォントテキストのサイズの両方が含まれます。

あなたは「ショートカット」を探していることを知っていますが、他のすべてのオプションは多くのカスタマイズを必要とするようですが、このルートを進むと、カスタマイズでターミナルを台無しにしないことが保証されます。

この回答は、ズームイン/ズームアウトのためにctrl +-の代替オプションを必要とする人のためにここに投稿されています。

1

現在、xfce-termが提供するズームショートカットはありません。 (Gnome-termとは異なり)依存関係が軽量で、CTRL + SHIFT + "+"でズームインおよびズームアウトできるターミネーターを検討してください。

0
Slawomir

次のスクリプトは、Xfce4ターミナルが実行されているかどうかを確認します。そうでない場合、スクリプトは終了します。このスクリプトは引数を使用して、script-name --inでズームインし、script-name --outでズームアウトします。どのフォントタイプでも機能します。 (異なるフォントタイプには、異なる数の単語があります。)

スクリプトにterminal-zoomという名前を付けて、使用しています CtrlAlt+ terminal-zoom --inおよび CtrlAlt- 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
jbrock