1、开启任意一个终端,输入命令

gedit ~/.bashrc

复制一下文件到.bashrc里

function title() {
  if [[ -z "$ORIG" ]]; then
    ORIG=$PS1
  fi
  TITLE="\[\e]2;$*\a\]"
  PS1=${ORIG}${TITLE}
}

保存后,再打开另一个终端,在终端输入title name 就可以更改终端名字了

如果想立马生效,在第一个终端执行:source ~/.bashrc

Logo

为开发者提供学习成长、分享交流、生态实践、资源工具等服务,帮助开发者快速成长。

更多推荐