☰

如何在 gnome-terminal 中重命名终端选项卡标题？

tag-icon • tag-icon gnome-terminal
如何在 gnome-terminal 中重命名终端选项卡标题？

过去可以右键单击选项卡并更改标题。不知道该怎么做了。刚刚升级到 Fedora 21。

编辑：我已从 gnome-terminal 切换到 ROXterm

答案1

在中创建一个函数~/.bashrc：

function set-title() {
  if [[ -z "$ORIG" ]]; then
    ORIG=$PS1
  fi
  TITLE="\[\e]2;$*\a\]"
  PS1=${ORIG}${TITLE}
}

然后使用新命令设置终端标题。它也适用于名称中的空格

set-title my new tab title

随后可以set-title再次使用（原始 PS1 保留为ORIG）。

答案2

该代码已从中user title删除1gnome-terminal 3.14。要设置标题，您可以使用转义序列：

printf "\e]2;YOUR TITLE GOES HERE\a"

或者例如bash：

echo -ne "\033]0;YOUR TITLE GOES HERE\007"

-ne不echo添加换行符并解释转义序列的参数（例如\033）。

1：参见侏儒错误 724110和侏儒错误 740188。

答案3

新版本的 gnome-terminal 抛弃了最有用的专业功能。 :-(

我尝试设置并运行旧版本的 gnome-terminal，并比较了替代方案。

如果terminator对您来说太异国情调，这mate-terminal是一个不错的选择！它是 gnome-terminal 的一个分支，保留了所有好的功能：

  • 您可以从命令行打开多个选项卡，给它们不同的标题

    mate-terminal --tab -t "aaa" --tab -t "bbb" --tab -t "ccc"

  • 您可以设置键盘快捷键（我使用 Ctrl+Shift-我）设置为我特莱

答案4

如果您使用的是 Ubuntu 16.04，您可能需要：

PS1=$
PROMPT_COMMAND=
echo -en "\033]0;New title\a"

我在以下位置列出了有关它的更多信息关联。

相关内容