我使用多种解决方案之一来设置终端标题:
功能.bashrc:
function set-title() {
if [[ -z "$ORIG" ]]; then
ORIG=$PS1
fi
TITLE="\[\e]2;$*\a\]"
PS1=${ORIG}${TITLE}
}
Run Code Online (Sandbox Code Playgroud)
它完美地工作!但是当我 ssh 到远程主机时,标题更改为ubuntu@remote.host.name.
有什么解决方案可以防止 ssh 后标题更改?