Posts

Showing posts from July, 2019

Adding terminal title

Open bashrc gedit ~/.bashrc Add below line in end of the file function set-title() { if [[ -z "$ORIG" ]]; then ORIG=$PS1 fi TITLE="\[\e]2;$*\a\]" PS1=${ORIG}${TITLE} } put command source ~/.bashrc Done now you can add title in terminal tab set-title Hello