重命名当前gnome-terminal的别名

Question

在gnome-terminal（bash）中，我可以运行以下命令将终端的标题更改为“ hello”：

PROMPT_COMMAND='echo -ne "\033]0;hello\007"'

很好，但是现在我想在〜/ .bashrc中创建一个名为“ title”的别名以运行该命令，以便我可以打开任何终端，只需键入“ title”，并将终端窗口的名称更改为“ hello”即可。

创建别名以使其起作用的代码是什么？ 我确信这是字符转义序列的迷宫。

如果您可以对其进行编码，则可以额外获得积分，以便我可以输入“ title My Window”（标题为我的窗口）之类的名称，然后别名会将当前gnome终端的标题命名为“ My Window”。

Answer 1

别名的经验法则是，如果必须询问，则应改用一个函数：

title() {
  printf "\033]2;%s\007" "$*"
}
title "This is my title"

Answer 2

那个其他人的回答有所帮助。 可行的最终解决方案是将以下代码添加到.bashrc中

function title(){
    PROMPT_COMMAND='echo -ne "\033]0;'"$1"' '"$2"' '"$3"'\007"'
}
export -f title