如何在终端中设置标题

在之前的Ubuntu版本中,例如14.04,可以通过菜单设置每个终端标签的标题:终端 -> 设置标题...
在18.04版本中,仍然有终端选项,如设置字符编码,但是缺少设置标题的选项。
那么,在更新的版本中我该如何设置标题呢?

这可能会引起你的兴趣:https://askubuntu.com/questions/636944/how-to-change-the-title-of-the-current-terminal-tab-using-only-the-command-line - B.Tanner
3个回答

自从Gnome 3之后,这个功能已经被移除了。
但是,Gnome 2终端已经被分叉为mate-terminal,它具有你想要的功能。
sudo apt-get install mate-terminal

如果你想保留Gnome 3终端并同意通过命令行重命名选项卡,你可以尝试以下方法:
1- 在.bashrc中添加一个名为'set-title'的函数 2- 使用set-title 新标题名称来重命名终端标题
nano ~/.bashrc

##Add the following to the .bashrc file
function set-title() {
  if [[ -z "$ORIG" ]]; then
    ORIG=$PS1
  fi
  TITLE="\[\e]2;$*\a\]"
  PS1=${ORIG}${TITLE}
}

用法: set-title My Tab Title

谢谢!运行得很好。 - false

在Ubuntu 20.04中
PS1=$PS1"\[\e]0;New_Terminal_Name\a\]"

\[ 开始一个非打印字符序列

\e]0; 是设置终端标题的字符序列。Bash识别此序列并使用后续字符设置标题。数字0是引用标题属性的值。

New_Terminal_Name 是我们给定的标题

\a 是ASCII响铃字符,同样在这种情况下,它标志着从Bash读取标题的结束。

\] 结束一个非打印字符序列


我使用xttitle(在xttitle包中):
update_title()
{
    [[ $TERM = xterm ]] || [[ $TERM = xterm-color ]]  && xttitle "[$$] ${USER}@${HOSTNAME}:$PWD"
}

cd()
{
    [[ -z "$*" ]] && builtin cd $HOME
    [[ -n "$*" ]] && builtin cd "$*"
    update_title
}