コマンドラインで少しクリックしましたが、CTRL-呼び出すたびに端末のテキストが小さくなるのを見ました。ここで何が起こっているのか、再実行する方法はありますか?つまり、コマンドでテキストを拡大して元のサイズに復元できますか?
編集:Christopherがコメントで提案したように、ワンクリックで元のフォントサイズに戻すことができますが、ここCTRL+では何が起こっているのかをまだ理解したいと思います。
答え1
これは少し基準キーボードショートカット(でも利用可能Konsole
)
それは単にバインドされていますフォントサイズの縮小Ctrl+(そして同様に、フォントサイズを増やす)。
次に進むことでこれを行うことができます。ショートカット環境設定:
編集▸環境設定▸ショートカット。
答え2
これはコマンドラインとは無関係で、Gnomeターミナルアプリケーションのショートカットにすぎません。たとえば、Xtermではこれは発生しません。
答え3
gnome-terminal でフォントサイズを変更するショートカットです。View
メニューとで見ることができます。編集する→キーボードショートカット…メニュー。
答え4
vte(gnome-terminal) および konsole の機能です。 vteのgit-logによると2002年11月:
handle end-of-line selection correctly. Stop highlighting selection on
* src/vte.c: handle end-of-line selection correctly. Stop highlighting
selection on click, but don't lose it until new text is selected.
* python/vte.override: fix binding for set_colors() to properly take a
list of colors for the palette (#97682).
* src/vte.c, src/vte.h: add increase-font-size and decrease-font-size to allow
mimicking XTerm's and Mozilla's behavior on Shift/Control
KP_Add/KP_Subtract
* src/vteapp.c: handle increase-font-size and decrease-font-size.
Konsoleさんが追加2007年4月:
Add menu items and shortcuts to increase and decrease font size. I have tried to keep as close as possible to the recommended Zoom In/Out shortcuts given that Ctrl+[Key] shortcuts cannot be used because they are reserved for terminal application use. Ctrl++ zooms in, Ctrl+Shift+- zooms out.
キーボードショートカットに関して、xtermはその後モバイルキーボードプラス/マイナスを使用しました。1999年、数年前にこの機能を導入したrxvtをモデルにしたものです(参照バージョン 2.18、1996年8月)。
10年以上の期間に4回の実装が行われました。 macOS(OSX)では、Terminal.appとiTerm2の両方が実行されますが(command代わりに使用control)、Terminal.appに関する信頼できるドキュメントがないため、この機能がいつ追加されたかを言うのは難しいです。
そして、この機能が不足しているように見えるいくつかのターミナルエミュレータがあります(まだ)。