On Tue, 19 Jun 2007, Andrew Pollock wrote: > 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.
I think the reason why on Debian it's not liked is because it behaves differently than Red Hat/CentOS/Fedora in this regard. As I said, I'm interested to change it in such a way that it works correctly in both situations. I added it because it was useful in the same situation where dstat was useful and I see it as an integer part of dstat. (if you interactively monitor 5 to 10 clusters, you need a way to find out which output belongs to what machine and space is scarce) I have no problem if you patch it out as long as you add an option to enable it when users require it. In fact, if you like I can produce a patch to do this and ship it with dstat ? Is that useful ? Kind regards, -- dag wieers, [EMAIL PROTECTED], http://dag.wieers.com/ -- [all I want is a warm bed and a kind word and unlimited power] -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
