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

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

過去可以右鍵單擊選項卡並更改標題。不知道該怎麼做了。剛剛升級到 Fedora 21。

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

答案1

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

答案2

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

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

或例如bash

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

-neecho添加換行符並解釋轉義序列的參數(例如\033)。


1:參見侏儒錯誤 724110和侏儒錯誤 740188

答案3

新版的 gnome-terminal 拋棄了最有用的專業功能。 :-(

我嘗試設定並運行舊版本的 gnome-terminal,並比較了替代方案。

如果terminator對您來說太異國情調,這mate-terminal是一個不錯的選擇!它是 gnome-terminal 的一個分支,保留了所有好的功能:

  • 您可以從命令列開啟多個選項卡,並給它們不同的標題

    mate-terminal --tab -t "aaa" --tab -t "bbb" --tab -t "ccc"
    
  • 您可以設定鍵盤快速鍵(我使用 Ctrl+Shift-)設定為

答案4

如果您使用的是 Ubuntu 16.04,您可能需要:

PS1=$
PROMPT_COMMAND=
echo -en "\033]0;New title\a"

我在以下位置列出了有關它的更多信息關聯

相關內容