Put this in
~/.bash_profile
:
function settitle() { echo -n -e "\033]0;$1\007"; }
export -f settitle
Now to set the title of the current terminal:
settitle 'Apache Pig'
And wallah:High fives to this and this.
~/.bash_profile
:
function settitle() { echo -n -e "\033]0;$1\007"; }
export -f settitle
Now to set the title of the current terminal:
settitle 'Apache Pig'
And wallah: