python - Python 経由で Konsole のタイトルを変更する

Question

Python で Konsole のタイトルを変更するにはどうすればよいですか? 私はこのコードを見つけました：

>>> import sys
>>> sys.stdout.write("\x1b]2;test\x07")

ただし、Konsole (Kubuntu) ではなく、Gnome 端末でのみ動作します。

Answer 1

試してみます（の代わりに"\x1b]0;test\x07"注意してください）。02

Konsoleがxtermエスケープシーケンスを正しく処理しないという未解決のバグがあります。修正されるまで、まったく機能しない可能性があります。

Answer 2

dcop "$KONSOLE_DCOP_SESSION" renameSession "New title here"

これはうまくいくはずです。renameSession 部分なしでコマンドを実行して、変更可能な他のオプションのリストを取得することもできます。