Hello,
Thanks.
In which script do you put this ?
Regards,
John
On 10/16/06, Magnus Therning <magnus@xxxxxxxxxxxx> wrote:
> On Mon, Oct 16, 2006 at 12:31:20 +0200, John Que wrote:
> >Hello,
> >I have gnome-terminal-2.14.0-1 on FC5.
> >Is there a way to configure it so that the hostname will be the title
> >of an opened tab?
> >
> >I of course know about the "Set title" menu, but my question is : can
> >it be done automatically so when I ssh to some machine , the title will
> >be it's hostname (you can assume that I have the remote machine
> >hostname before ssh into it).
>
> I usually let my shell do that for me:
>
> bash:
> case $TERM in
> (xterm*)
> PROMPT_COMMAND='echo -ne "\033]0;${USER}($(id -ng))@${HOSTNAME}: ${PWD}\007"'
> ;;
> esac
>
> zsh:
> case $TERM in
> (xterm*)
> function precmd () { print -Pn "\e]0;%n($(id -ng))@%m:%~\a" }
> ;;
> esac
>
> /M
>
> --
> Magnus Therning (OpenPGP: 0xAB4DFBA4)
> magnus@xxxxxxxxxxxx Jabber: magnus.therning@xxxxxxxxx
> http://therning.org/magnus
>
> Software is not manufactured, it is something you write and publish.
> Keep Europe free from software patents, we do not want censorship
> by patent law on written works.
>
> The right to search for truth implies also a duty; one must not
> conceal any part of what one has recognized to be true.
> -- Albert Einstein
>
>
> _______________________________________________
> gnome-list mailing list
> gnome-list@xxxxxxxxx
> http://mail.gnome.org/mailman/listinfo/gnome-list
>
>
>
>
_______________________________________________
gnome-list mailing list
gnome-list@xxxxxxxxx
http://mail.gnome.org/mailman/listinfo/gnome-list
