/Shell/Bash/Ubuntu 20 terminal rename tab

Ubuntu 20 terminal rename tab

Ubuntu 20 terminal rename tab

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

0

Source: unix.stackexchange.com

Similar codes

15 votes123 views8 answers
Linux
Shell/Bash
0 vote151 views1 answer
Download latest stable solc ubuntu
Shell/Bash
0 vote145 views1 answer
Anaconda install pylint
Shell/Bash
0 vote143 views1 answer
Install arial font to linux
Shell/Bash
0 vote132 views1 answer
Bash get domain from url
Shell/Bash
0 vote156 views1 answer
Linux disk usage in human readable format
Shell/Bash
1 vote138 views4 answers
Git add ssh key
Shell/Bash
0 vote151 views2 answers
Reattach screen
Shell/Bash
8 votes144 views4 answers
Npm list versions of installed packages
Shell/Bash
0 vote145 views1 answer
Anaconda install for kali linus
Shell/Bash

Share