在以前的 Ubuntu 版本中,例如 14.04,可以通过菜单设置每个终端选项卡的标题:终端 -> 设置标题...
在 18.04 中,仍然有入口终端,其中包含诸如设置字符编码之类的选项,但缺少设置标题。
那么如何在新版本中设置标题?
答案1
该功能从 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
答案2
在 Ubuntu 20.04 中
PS1=$PS1"\[\e]0;New_Terminal_Name\a\]"
\[
开始一个非打印字符序列
\e]0;
是设置终端标题的字符序列。Bash 识别此序列并使用以下字符设置标题。数字 0 是引用 title 属性的值。
New_Terminal_Name
是我们给的瓷砖
\a
是 ASCII 铃声字符,同样在这种情况下,它标志着从 Bash 读取的图块的结束。
\]
结束非打印字符序列
答案3
我使用xttitle
(在xttitle
包装中):
update_title()
{
[[ $TERM = xterm ]] || [[ $TERM = xterm-color ]] && xttitle "[$$] ${USER}@${HOSTNAME}:$PWD"
}
cd()
{
[[ -z "$*" ]] && builtin cd $HOME
[[ -n "$*" ]] && builtin cd "$*"
update_title
}