端末のフォントサイズを変更するには、高速なショートカットが必要です。 gnome-terminal
を使用します。
試した Ctrl + + そして Ctrl + - しかし、サイズは変更されません。
別のショートカットはありますか?このようなショートカットを追加できますか?
Ctrl++ そして Ctrl+- 私のためにうまく働いています。たぶん、異なるショートカットが設定されているかもしれません。
キーボードショートカットを変更するには、gnome-terminalメニューのEdit-> Keyboard Shortcuts ...に移動し、ズームインおよびズームアウト:
試してみる ShiftCtrl+増加するため
そして Ctrl- フォントサイズを小さくするため。
注: Shift 一部のシステムではキーが必要です。
私のために働いたトリックは、Ctrl
+ Shift
+ =
またはCtrl
+ -
を使用することでしたが、数字キーボードでは使用しませんでした。
端末は非常にリテラルであることに注意してください! Ubuntuターミナルが望む+キーは一番上の行にあり、Shiftが必要です。それ以外の場合は=です。