Linux Mint 18で端末のタイトルを設定する方法

Linux Mint 18で端末のタイトルを設定する方法

Linux Mint 18にアップグレードしましたが、すべてうまくいきました。わざわざこのようなことなのかはわかりませんが、オプションももうTerminal -> Set Titleなく、ショートカットもこれ以上使用できません。これらの変更の理由と回避策は何ですか?タブ間をすばやく移動するのに役立ちますので、端末のタイトルを設定する必要があります。

答え1

Bashの内部使用:

 PS1="\033]0;New Title\007"$PS1

関連情報