/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

7 votes200 views2 answers
Remove folder from terminal
Shell/Bash
8 votes234 views5 answers
Sed remove line containing
Shell/Bash
0 vote203 views1 answer
Bleachbit command line install
Shell/Bash
0 vote184 views1 answer
Ubuntu grub repair
Shell/Bash
1 vote313 views1 answer
Ubuntu server does not run scripts
Shell/Bash
-1 vote239 views1 answer
Err:1 http://archive.ubuntu.com/ubuntu focal InRelease Temporary failure resolving 'archive.ubuntu.com' wsl
Shell/Bash
0 vote213 views1 answer
Install csfml on linux
Shell/Bash
15 votes201 views3 answers
Linux change hostname
Shell/Bash
1 vote221 views1 answer
Code wifi cmd
Shell/Bash
0 vote211 views3 answers
Ubuntu Not Found The requested URL was not found on this server. Apache/2.4.41 (Ubuntu) Server at localhost Port 80
Shell/Bash

Share