/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

16 votes118 views6 answers
How to install pandas
Shell/Bash
48 votes138 views6 answers
Sudo apt-get update
Shell/Bash
0 vote118 views1 answer
Install react-native-safe-area-context
Shell/Bash
0 vote124 views6 answers
Shrek
Shell/Bash
1 vote123 views1 answer
How to know fedora version
Shell/Bash
2 votes122 views1 answer
Github pages with favicon
Shell/Bash
0 vote125 views1 answer
Install pyramid
Shell/Bash
5 votes115 views1 answer
How to install audacity on ubuntu
Shell/Bash
0 vote109 views1 answer
Upgrade all content database sharepoint 2013 powershell
Shell/Bash
0 vote113 views1 answer
Deletes lines including regex match
Shell/Bash

Share