byobu

  1. Bug #338722
  2. Comment #4

Comment 4 for bug 338722

Revision history for this message
Dustin Kirkland  (kirkland) wrote : Re: [Bug 338722] Re: screen-profiles does not update gnome-terminal title

Thanks for the info. I dug through the screenrc (and I want to look
through it some more), but I didn't find anything that helped.

However, I spent a few hours on this bug and found a workaround that
seems to work.

It's the $PROMPT_COMMAND that gnome-title picks up. That has to be
displayed in a bash interactive mode shell. So I added this to the
/usr/bin/screen-launcher utility:

# Ensure that the PROMPT_COMMAND gets printed, such that gnome-terminal
# and friends can pick it up before going into screen
[ -x /bin/bash ] && /bin/true | /bin/bash -i -s

That should fire up an interactive bash shell, run /bin/true, and exit
as quickly as possible.

1.33-0ubuntu1 is working well for me.

Thanks.
:-Dustin