📌  相关文章
📜  ubuntu 20 终端重命名选项卡 - Shell-Bash 代码示例

📅  最后修改于: 2022-03-11 14:51:07.486000             🧑  作者: Mango

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