LinuxQuestions.org

LinuxQuestions.org (/questions/)
-   Linux - Desktop (https://www.linuxquestions.org/questions/linux-desktop-74/)
-   -   howto change gnome-terminal title bar (https://www.linuxquestions.org/questions/linux-desktop-74/howto-change-gnome-terminal-title-bar-672372/)

imraven 09-25-2008 04:05 PM
howto change gnome-terminal title bar
 
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]


All times are GMT -5. The time now is 02:43 PM.