我似乎无法同时更改彩色终端提示和选项卡标题。
function tab_title() {
local tab_replace="${USER}@${HOSTNAME}"
local tab_orig="$PS1"
local tab_new="\e]2;${tab_replace}\a"
echo "${tab_orig}${tab_new}"
}
function colour_prompt() {
local c_off="\[\033[0m\]" # Colour off
local c_red="\[\033[1;31m\]" # Colour red
echo "${debian_chroot:+($debian_chroot)}${c_red}\u@\h${c_off}/"
}
PS1="${tab_title}${color_prompt}"
我从未设法让替代选项卡标题正常工作
echo -en "\033]0;New terminal title\a"
我究竟做错了什么?
另外,$debian_chroot
变量有什么用途?