No subject


Fri Oct 26 13:57:24 PDT 2007


> Worth a try. "set notitle" is one way of getting rid of this, at least
> for now.

Good!

> BTW, I'm using zsh--would that make a difference?

Mmm, I dunno. Zsh might have some equivalent to PROMPT_COMMAND where
you can dynamically change the window title.

-- 
Adam Monsen


More information about the linux-list mailing list