English
Change terminal tab title
nano ~/.bashrc # enter this function footer of the .bashrc file # Update gnome terminal title function termtitle() { if [[ -z “$ORIG” ]]; then ORIG=$PS1 fi TITLE=”\[\e]2;$*\a\]” PS1=${ORIG}${TITLE} PROMPT_COMMAND=’echo -ne “\033]0;\007″‘ } # save and quit from nano # source ~/.bashrc # termtitle example title
