编辑:其他答案谈到更改终端的标题,而不是选项卡,但他们也有效地回答了我的问题。一切都很好。
我是新手,我想知道如何为终端选项卡实例指定特定名称?
这是我的问题的一个例子:
目前我对 Ubuntu 系统的了解很少。谢谢
setTitle() {
echo -e "\033]0;$@\007"
}
Run Code Online (Sandbox Code Playgroud)
或者,可以使用
"\033]0;$@\a"
Run Code Online (Sandbox Code Playgroud)
将其与 PROMPT_COMMAND 变量或 PS1 变量结合使用~/.bashrc,您可以执行以下操作:
PS1="$PS1$(setTitle $(date) )"
Run Code Online (Sandbox Code Playgroud)
其作用是,每次调用重绘时,该位都会将时间戳添加到终端的标题中。因此,每个选项卡都可以有执行最后一个命令的时间戳。
从那里,您可以添加其他形式的命令来$()代替date. ~/.bashrc或者在文件末尾调用一次,以便在整个会话中只有不变的提示,但每个选项卡都是唯一的。
另请参阅: 如何仅使用命令行更改当前终端选项卡的标题