Re: gnome-terminal question

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



2009/9/27 bruce <[email protected]>:
> hey...
>
> trying to solve an issue on changing the title of the current gnome-terminal
> session.
>
> how does one go about changing the title of the current gnome-terminal via
> the cmdline...
>
> i'm trying to figure out if you can use escape sequences, or modifying the
> profile for the terminal.
>
> trying some of the escape sequences from different web sites haven't
> worked...
>
> thoughts/comments/pointers appreciated...

Follow the instructions at http://tldp.org/HOWTO/Xterm-Title.html. You
don't say which shell you're using, but using the default bash shell,
you can do this:

$ echo -ne "\033]0;A New Title\007"

You'll probably need to unset the PROMPT_COMMAND value first;

$ export PROMPT_COMMAND=

> i'm running fedora 9

You know that's unsupported, right? I strongly recommend upgrading.

hth,

Dave...

-- 
fedora-list mailing list
[email protected]
To unsubscribe: https://www.redhat.com/mailman/listinfo/fedora-list
Guidelines: http://fedoraproject.org/wiki/Communicate/MailingListGuidelines

[Index of Archives]     [Current Fedora Users]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite News]     [Yosemite Photos]     [KDE Users]     [Fedora Tools]     [Fedora Docs]

  Powered by Linux