nabla

julianirw.in

Home About Email Resume Links

01 Sep 2015
Renaming Terminal Tabs in Ubuntu 15.04

In the Gnome Terminal released with Ubuntu 15.04 there is no GUI functionality that allows terminal tabs to be renamed. Here is the accepted workaround floating around the web:

   PROMPT_COMMAND='echo -ne "\033]0;YOUR TITLE GOES HERE\007"' 

To make this easily reusable it can go in a function in your .bashrc:

    title () 
    { 
          echo -en "\033]0;$@\007"
    }
Home About Email Resume Links