gnome-terminal title [solved]

[qleak]

Does anyone know a command line way to set the title of a terminal window. I've noticed emerge does this but its a matter of convenience so I don't want to spend forever looking for it.

Thanks

-Q

[Roman_Gruber]

Its easy.

right mouse click in the gnome terminal: Show menu bar.

then go in the menu and change it in the preference menu.

You could also set then the font, color, opaque, etc.. of gnome-terminal.

[ZZamboni]

Does anyone know a command line way to set the title of a terminal window. I've noticed emerge does this but its a matter of convenience so I don't want to spend forever looking for it.

A Google search for "howto set terminal title" yields quite a number of pointers to how to do this, including this: http://www.faqs.org/docs/Linux-mini/Xterm-Title.html

In a nutshell, it's this:

Code: Select all

echo "\033]0;the terminal title you want\007"

See also this thread: http://forums.gentoo.org/viewtopic.php?t=18106

[qleak]

In a nutshell, it's this:

Code: Select all

echo "\033]0;the terminal title you want\007"

See also this thread: http://forums.gentoo.org/viewtopic.php?t=18106

This doesn't seem to work in xterm, not to mention gnome-terminal. Infact if i use the xterm -T"title" at the command line it gets replaced by the default title user@host /pwd Same thing with gnome-terminal. Looks like a bunch of people with unanswered questions on the link you gave too.

I do actually want this to be a command line way of doing this so I can add it to my custom scripts I run for work.

thanks for the suggestions,

-Q

[ZZamboni]

This doesn't seem to work in xterm, not to mention gnome-terminal. Infact if i use the xterm -T"title" at the command line it gets replaced by the default title user@host /pwd Same thing with gnome-terminal.

Thats most likely because the default prompt on Gentoo automatically sets the terminal title to "user@host pwd", so in fact it is working, but it is immediately being set again to the default after the command executes, when the prompt reappears. You can test that this is the case by resetting the prompt commands:

Code: Select all

export PROMPT_COMMAND=
export PS1="$"

and then trying again to manually set the terminal title.

[qleak]

even with changing the command line the echo command does not work on either xterm or gnome-terminal. Any other ideas?

Cheers

-Q

[ZZamboni]

even with changing the command line the echo command does not work on either xterm or gnome-terminal. Any other ideas?

I accidentally omitted the -ne options to the echo command, which are needed for the escapes to be interpreted correctly and to omit spurious output. This is the command you need:

Code: Select all

echo -ne "\033]0;the terminal title you want\007"

<rant>With all due respect, you could have looked at the document to which I pointed you, and found the solution there, including the options above, and not wait for me to give you all the answers already digested.</rant>

[qleak]

even with changing the command line the echo command does not work on either xterm or gnome-terminal. Any other ideas?

I accidentally omitted the -ne options to the echo command, which are needed for the escapes to be interpreted correctly and to omit spurious output. This is the command you need:

Code: Select all

echo -ne "\033]0;the terminal title you want\007"

<rant>With all due respect, you could have looked at the document to which I pointed you, and found the solution there, including the options above, and not wait for me to give you all the answers already digested.</rant>

ahh thanks. I did actually try the -ne option but failed to do so after exporting the variables.

All the best,

-Q

[qleak]

If anyone is interested here is my script I added this too

Code: Select all

#!/bin/bash

export PROMPT_COMMAND=
export PS1="$"
echo -ne "\033]0;GAP\007"

FILE="/usr/local/src/gap4r4/save_X.gap"
[ -z "$DISPLAY" ] && FILE="/usr/local/src/gap4r4/save.gap"

/usr/local/src/gap4r4/bin/gap.sh -L $FILE $*

Thanks again

-Q

[Mythos]

ummm gnome-terminal -> Terminal -> Set Title ?

[qleak]

ummm gnome-terminal -> Terminal -> Set Title ?

tw04l124 also suggested this. I also was aware of this option, but it takes time to change the window title every time I run a program. I wanted it to be automatic with specific programs that are important to me.

Thanks anyway,

-Q