在之前的Ubuntu版本中,例如14.04,可以通过菜单设置每个终端标签的标题:终端 -> 设置标题...
在18.04版本中,仍然有终端选项,如设置字符编码,但是缺少设置标题的选项。
那么,在更新的版本中我该如何设置标题呢?
在18.04版本中,仍然有终端选项,如设置字符编码,但是缺少设置标题的选项。
那么,在更新的版本中我该如何设置标题呢?
sudo apt-get install mate-terminal
set-title 新标题名称
来重命名终端标题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
PS1=$PS1"\[\e]0;New_Terminal_Name\a\]"
\[
开始一个非打印字符序列
\e]0;
是设置终端标题的字符序列。Bash识别此序列并使用后续字符设置标题。数字0是引用标题属性的值。
New_Terminal_Name
是我们给定的标题
\a
是ASCII响铃字符,同样在这种情况下,它标志着从Bash读取标题的结束。
\]
结束一个非打印字符序列
xttitle
(在xttitle
包中):update_title()
{
[[ $TERM = xterm ]] || [[ $TERM = xterm-color ]] && xttitle "[$$] ${USER}@${HOSTNAME}:$PWD"
}
cd()
{
[[ -z "$*" ]] && builtin cd $HOME
[[ -n "$*" ]] && builtin cd "$*"
update_title
}