BashでKonsoleのタイトルを変更するには?

BashでKonsoleのタイトルを変更するには?

次のようにループを実行するたびに、Konsoleのタイトルが変更されることを望みます。

while read line; do
  echo $line $i/$numline
  echo -ne "\033]0;$line $i/$numline\007"
  commands
  let i=i+1
done<text

echo -ne "\033]0;text\007"このコマンドが機能しないことがわかりました。

答え1

まず、次の設定を入力する必要がありますkonsole

設定 -> 現在のプロファイルの構成 -> タブ -> タブタイトル形式 = %w

デフォルトでは、konsoleは要求された内容を無視し、設定されているように独自の操作を実行します。%wTellはシェルが望むものに置き換えられます。他のコードもありますが、挿入ボタンを押すとすべてのコードがわかります。


ターミナルエミュレータが実行するアクションをシェルに置き換える方法についての簡単な注意事項です。

私はこれが私のもので~/.bashrcタイトルを更新しました。 bash変数の詳細を調べるか、PS1変数を調べたい場合がありますPROMPT_COMMAND

case "$TERM" in
xterm*|rxvt*)
    PS1="\[\e]0;${debian_chroot:+($debian_chroot)}\u@\h: \w\a\]$PS1"
    ;;
*)
    ;;
esac

関連情報