/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

3 votes332 views5 answers
How to install nodejs on manjaro
Shell/Bash
19 votes304 views5 answers
Material ui npm
Shell/Bash
3 votes262 views2 answers
Powershell if string contains
Shell/Bash
0 vote291 views1 answer
What can i do with the error unable to issure certificate clone git
Shell/Bash
6 votes308 views1 answer
Unistall openshot ubuntu 20.04
Shell/Bash
-1 vote301 views2 answers
Remove frmo staging git
Shell/Bash
-2 votes303 views3 answers
How to install certbot on ubuntu
Shell/Bash
1 vote302 views1 answer
Connect running docker container
Shell/Bash
1 vote310 views1 answer
Gnu octave ubuntu
Shell/Bash
5 votes297 views2 answers
Install sequelize cli
Shell/Bash

Share