window title changes on SSH log-in but doesn't revert on log-out

Bug #59253 reported by Corsaire01
4
Affects Status Importance Assigned to Milestone
bash (Ubuntu)
Invalid
Undecided
Unassigned

Bug Description

-launch a gnome-terminal window
-type a SSH log-in command to a server 'ssh user@server'
-when logged in, the Terminal window title moves from "Terminal" to "user@server:~"
-log-out from the remote machine (typing logout or Ctrl+d)
-the Window title should go back to "Terminal" but it is not the case (remains at "user@server:~" )

tested on Ubuntu 6.06 x86 and x86-64 same behaviour.
package gnome-terminal 2.14.2-0ubuntu1

Revision history for this message
Lionel Porcheron (lionel.porcheron) wrote :

Thanks for your bug report. I can not reproduce this issue neither with Edgy or Dapper.

The title of the window is set by the variable PROMPT_COMMAND defined in ~/.bashrc. Changing the bug to bash package.

Can you post your ~/.bashrc ? I think you modified it. By default it set the window title to user@host:dir

Changed in gnome-terminal:
status: Unconfirmed → Needs Info
Revision history for this message
Corsaire01 (stephane-tranchemer) wrote :

May be related to the fact that my ~/.bashrc is not new.

I used Fedora Core distros, then switched to Ubuntu so the expected variable you talk about is missing.

Here's the (very simple) content :

# .bashrc

# User specific aliases and functions

# Source global definitions
if [ -f /etc/bashrc ]; then
        . /etc/bashrc
fi

I don't know how we can address this issue, when you're reinstalling a newer distro version (or switching distro) it is normal that the ~/.bashrc of the users remains (if /home was in a separate partition not re-formated at install).
Is copying /etc/bash.bashrc in all the ~/.bashrc a good idea ? (assuming no user has made some particular config that he wants to keep)

Revision history for this message
Lionel Porcheron (lionel.porcheron) wrote :

Status rejected.

You personalized your configuration by not using Ubuntu default configuration. Default configuration do exactly what you want.

FYI, Ubuntu copy in user home directory the content of /etc/bash.bashrc. First, it is easier to use several distributions as you said, second, it is more easily customizable.

Changed in bash:
status: Needs Info → Rejected
Revision history for this message
Sebastien Bacher (seb128) wrote :

you can read explanations about that on http://bugzilla.gnome.org/show_bug.cgi?id=319996, upstream marked it as NOTABUG too

To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.