/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

8 votes189 views2 answers
How to remove a software from linux
Shell/Bash
0 vote203 views1 answer
Exclude certain extension from zip linux
Shell/Bash
0 vote196 views1 answer
Tableview javafx mysql repeats data
Shell/Bash
0 vote206 views2 answers
Linux date epoch excel convert
Shell/Bash
10 votes185 views1 answer
.gitignore file not ignoring the file
Shell/Bash
6 votes186 views1 answer
Uninstall pgadmin3 drive linux
Shell/Bash
0 vote193 views1 answer
Vagrant tutorial ubuntu 18.04 and proxmox
Shell/Bash
5 votes206 views1 answer
Uninstall node from linux debian
Shell/Bash
0 vote182 views2 answers
Brew stop redis
Shell/Bash
0 vote215 views1 answer
How to empty text file in unix
Shell/Bash

Share