On Tue, Jun 19, 2007 at 11:31:10AM +0200, Marc Lehmann wrote: > Come on folks, this is a BUG, not a wishlist item. It destroys a setting a > user has made without asking. > > > How it works in Bash is that the PROMPT_COMMAND contains the escape > > > > This is complete and utter bullshit. PROMPT_COMMAND does exactly what it > does, namely exactly what the user configured it to do. Changing the title > is not a bash feature in any way, it is completely unrelated to bash.
Less anger :-) fwiw, I'm inclined to agree with you, changing the xterm's title is somewhat obnoxious, and from my research, there appears to be no way to retrieve the current title, so there's no way to restore it after changing. Relying on the user's environment to re-overwrite the title after termination is, well, relying on hope too much, because there's no reliable way to ensure that this is going to happen. Dag, I think you need to consider your users some more. The current title you set doesn't really buy the user a lot, so I think given we've got at least one user who's rather passionately against it (and it's bitten me more than once before as well), I think I'll patch it out of the Debian package. regards Andrew
signature.asc
Description: Digital signature
