从 bash 脚本更改 xterm 的标题

Question

我有一个可以进行长时间构建的脚本。这个脚本需要几个小时才能完成，在构建过程中，我无法知道脚本运行了多少。为此，我想从脚本中更改 xterm 的名称以反映下标。

所以，问题是如何从 script 更改 xterm 标题？

我尝试添加像这样的行： echo -e '\033k'$mytitle'\033\' 我从其他一些帖子中得到的，但它不起作用。

谢谢您的帮助 ！

Answer 1

有一个名为 xtermcontrol 的程序，它可以让您完全控制 xterm 之类的东西。

如果你不能设置标题，可能它被锁定了：

xterm*allowTitleOps: false

您通常可以拉起字体菜单（右控制）并选中或取消选中“允许标题操作”按钮以在运行时进行配置。Checked 允许您更改标题。

这个程序也适用于我：

#!/bin/bash
#
#

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

认真打字！

Answer 2

设置 xterm 标题的正确转义似乎是\033]0;和\007，请参阅http://tldp.org/HOWTO/Xterm-Title-4.html了解提示，以及http://www.faqs.org/docs/Linux-mini/ Xterm-Title.html#ss3.1用于转义序列定义。