howto change gnome-terminal title bar

imraven · 09-25-2008, 04:05 PM

friends,

i'm using gnome-terminal and i've noticed that some applications change the title bar from whatever the PS1 variable is to various statuses, for instance during a gentoo emerge. is there a way for me to do this in bash scripts or php scripts?

brandon

weibullguy · 09-25-2008, 04:13 PM

I use this function in Bash scripts to change the title. Just pass the desired title as a string.

Code:

# ------------------------------------------------------------------------------ #
# This function sets the title of the terminal-emulator
# or tab.
# ------------------------------------------------------------------------------ #
title() {

    echo -ne "\033]0;${1}\007"

}

tredegar · 10-04-2008, 03:25 AM

Lyly is spamming this forum BIG TIME
..Reported.
[Edit]: All cleaned up now, thanks Mods

[/Edit]