.bashrc中有此功能,用于设置终端的标题:
function set-title(){
if [[ -z "$ORIG" ]]; then
ORIG="$PS1"
fi
TITLE="\[\e]2;$*\a\]"
PS1="${ORIG}${TITLE}"
}
如果这样,那么我将在同一.bashrc中创建另一个函数,该函数在命令执行之前使用set-title,直到命令结束后标题才更新,如果命令需要为很长的时间,因为标题从未设置过。例如:
function start_server(){
set-title SERVER
my_server -d
}
在我杀死my_server之前,终端标题不会更新。
在执行命令之前,有什么方法可以使set-title功能在更新终端之前起作用吗?
谢谢