“Guia de renomeação do terminal do Ubuntu 20” Respostas de código

Guia de renomeação do terminal do Ubuntu 20

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