Update of .bash_aliases: new prompt