我使用众多解决方案之一来设置终端标题:
.bashrc
中的函数:function set-title() {
if [[ -z "$ORIG" ]]; then
ORIG=$PS1
fi
TITLE="\[\e]2;$*\a\]"
PS1=${ORIG}${TITLE}
}
而且它运行得非常完美!但是当我通过ssh连接到远程主机时,标题会变成ubuntu@remote.host.name
。
有没有办法防止ssh连接后标题的改变呢?
.bashrc
文件。其中一些是在生产环境中使用的,所以对它们的修改受到限制。其他的是测试服务器,它们的运行时间非常短,所以我每天需要多次修改.bashrc
文件。不过,还是要感谢@Pie提出的建议。 - i.bondarenkoalias myssh="ssh服务器名称;设置标题"
。 - waltinatoralias myssh="ssh ubuntu@host;set-title my_title1"
但没有成功。 - i.bondarenkoset-title
只会在ssh
结束后被调用,也就是当你断开与远程主机的连接时。 - MestreLion