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