Gnome-Terminal
如何在 gnome-terminal 中重命名終端選項卡標題?
以前可以右鍵點擊選項卡並更改標題。不知道如何做到這一點了。剛剛升級到 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。