bash - xtermのタイトルをbashスクリプトから変更する

Question

長いビルドを行うスクリプトがあります。このスクリプトが完了するまでには数時間かかります。ビルドが進行している間、スクリプトがどれだけ実行されたかを知る方法はありません。そのために、添え字を反映するようにスクリプトからxtermの名前を変更することを考えました。

だから、問題は、スクリプトからxtermのタイトルを変更するにはどうすればよいですか？

他の投稿から取得したecho-e'\033k' $ mytitle'\ 033 \'のような行を追加しようとしましたが、機能しません。

助けてくれてありがとう！

score 6 · Accepted Answer

そのようなxtermのものを完全に制御できるxtermcontrolと呼ばれるプログラムがあります。

タイトルを設定できない場合は、ロックされている可能性があります。

xterm*allowTitleOps: false

通常、[フォント]メニュー（control-right）をプルアップし、[タイトル操作を許可]ボタンをオンまたはオフにして、実行時にこれを構成できます。チェックすると、タイトルを変更できます。

また、このプログラムは私のために働きます：

#!/bin/bash
#
#

echo -ne "\033]0;$@\007"

慎重に入力してください。

score 1 · Accepted Answer

The correct escape for setting xterm title seem to be \033]0; and \007, see http://tldp.org/HOWTO/Xterm-Title-4.html for tips, and http://www.faqs.org/docs/Linux-mini/Xterm-Title.html#ss3.1 for the escape sequence definition.

score 0 · Accepted Answer

この投稿を見てください

投稿によると、あなたは欠落して\おり、それはあるべきです

echo -e '\033k'$mytitle'\033\\'

3 に答える 3