Gnome-Terminal

如何在 gnome-terminal 中重命名終端選項卡標題?

  • July 20, 2021

以前可以右鍵點擊選項卡並更改標題。不知道如何做到這一點了。剛剛升級到 Fedora 21。

編輯:我已經從 gnome-terminal 切換到 ROXterm

在 中創建一個函式~/.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)。

user title程式碼已從1中刪除gnome-terminal 3.14。要設置標題,您可以使用轉義序列:

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

或例如bash

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

1:參見 gnome bug 724110和 gnome bug 740188

引用自:https://unix.stackexchange.com/questions/177572