/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

0 vote175 views1 answer
Unable to resolve dns when kubernetes is running on ubuntu
Shell/Bash
16 votes195 views6 answers
How to add image in readme.md
Shell/Bash
0 vote184 views1 answer
Dd write iso to usb linux
Shell/Bash
1 vote159 views1 answer
Shell find string in directory
Shell/Bash
0 vote165 views1 answer
Better discord in linux
Shell/Bash
112 votes186 views6 answers
Docker remove all containers
Shell/Bash
0 vote177 views1 answer
Unistall all homebrew packages
Shell/Bash
-1 vote198 views1 answer
Npm inatall latest version ubuntu
Shell/Bash
8 votes161 views1 answer
Copy from remote to local
Shell/Bash
10 votes163 views6 answers
Composer install on mac
Shell/Bash

Share