bash - 从 bash 脚本更改 xterm 的标题

Question

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

那么，问题是如何从 script 更改 xterm 标题？

我尝试添加类似的行： echo -e '\033k'$mytitle'\033\' 这是我从其他帖子中获得的，但它不起作用。

谢谢您的帮助！

score 6 · Accepted Answer

有一个叫做 xtermcontrol 的程序可以让你完全控制 xterm 之类的东西。

如果您无法设置标题，则可能是已锁定：

xterm*allowTitleOps: false

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

这个程序也适用于我：

#!/bin/bash
#
#

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

认真打字！

score 1 · Accepted Answer

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

score 0 · Accepted Answer

看看这个帖子

根据帖子，您缺少一个\，应该是

echo -e '\033k'$mytitle'\033\\'

3 回答 3