主页 / ubuntu / 问题 / 1123710
Accepted
false
Asked: 2019-03-08 00:38:39 +0800 CST

如何在终端中设置标题

  • 772

在以前的 Ubuntu 版本中，如 14.04，可以通过菜单设置每个终端选项卡的标题：终端 -> 设置标题 ...

在 18.04 中，仍然有带有设置字符编码等选项的条目终端，但缺少设置标题。

那么如何在较新的版本中设置标题？

gnome-terminal

3 个回答

  1. Best Answer

    这个功能从 gnome 3 开始被移除
    但是，gnome 2 终端已经被分叉为 mate-terminal，它有你想要的功能。

    sudo apt-get install mate-terminal

    如果你想保留 gnome 3 终端并同意从命令行重命名选项卡，你可以试试这个：

    1- 向 .bashrc 添加一个函数 'set-title'
    2- 重命名终端标题set-title The New Title Name

    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

    • 10

  2. 在 Ubuntu 20.04 中

    PS1=$PS1"\[\e]0;New_Terminal_Name\a\]"

    \[ 开始一系列非打印字符

    \e]0;是设置终端标题的字符序列。Bash 识别此序列并使用以下字符设置图块。数字 0 原来是引用 title 属性的值。

    New_Terminal_Name是我们给的瓷砖

    \a是 ASCII 响铃字符，同样在这种情况下，它标志着要从 Bash 读取的 tile 的结尾。

    \] 结束一系列非打印字符

    • 2

  3. 我使用xttitle（在xttitle包中）： 

    update_title()
{
    [[ $TERM = xterm ]] || [[ $TERM = xterm-color ]]  && xttitle "[$$] ${USER}@${HOSTNAME}:$PWD"
}

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

相关问题