On Thu, 4 Oct 2001, Lorin wrote:
> works for gnome-terminal too. lots of you probably know this, but i just
> figured it out today. in your .bash_profile or .bashrc or whatever:
>
> title() {
> printf "\033]0;$*\007"
> }Done. Thanks for the pointer, I'd been meaning to get that working again for a while. -Bram Cohen
