/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

44 votes165 views6 answers
How to use copilot github
Shell/Bash
0 vote163 views1 answer
Add base url to react router for gh-pages deployment
Shell/Bash
2 votes183 views2 answers
Prettier install
Shell/Bash
0 vote168 views2 answers
How to create a new instance from cli in cf
Shell/Bash
2 votes160 views1 answer
CocoaPods could not find compatible versions for pod "razorpay_flutter" when running pod install
Shell/Bash
0 vote176 views1 answer
Ubuntu 20.04 dash is conflicting with dock
Shell/Bash
0 vote164 views1 answer
How to check cpu temperature ubuntu 20.04
Shell/Bash
2 votes175 views1 answer
Remove the last commit git without losing changes
Shell/Bash
8 votes153 views2 answers
Updated gitignore not working
Shell/Bash
0 vote228 views1 answer
Create a desktop file ubuntu
Shell/Bash

Share