タイトルバーにxtermのサイズを印刷できますか?WxH
端末のサイズを変更するたびに更新されるような単純なものが必要です。
ベストアンサー1
環境変数$COLUMNS
と$LINES
。その後、文書化されたエスケープコードを使用してヘッダーを設定できます。BashプロンプトHOWTOから。以下は、タイトルを設定するワンタイムコマンドです。
# The title text is the stuff between ; and \a
printf "\e]0;${COLUMNS}x${LINES}\a"
ウィンドウのサイズを変更するときにタイトルを更新する方法があるかどうかわかりません。その後、端末サイズが変更されたときにxtermが送信するSIGWINCH信号をキャプチャできます。 Bashを使用している場合は、次のように入力してください~/.bashrc
。
function update_title {
printf "\e]0;${COLUMNS}x${LINES}\a"
}
trap -- update_title SIGWINCH
警告する:この解決策が奇妙な相互作用を引き起こす可能性があると感じます。ウィンドウのサイズを変更する際に端末アプリケーションの一部が奇妙に動作することがわかった場合は、上記のトラップを無効にして問題が解決しないことを確認してください。