[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: xttitle [was Re: Release-critical Bugreport for February 1, 2002]



On Sat, Feb 02, 2002 at 06:22:08PM +0000, Pete Ryland wrote:
>     function set_title() {
>       if [ x$1 != x--keep ]; then
>         SET_TITLE_EXTRA="$@"
>       fi
>       if [ -z "$SET_TITLE_EXTRA" ]; then
>         NAME="$USER@$HOSTNAME:$PWD"
>       else
>         NAME="$USER@$HOSTNAME:$PWD ($SET_TITLE_EXTRA)"
>       fi
>       echo -n 
>     }

Hmm.. that echo -n should obviously be echo -n <esc>]\;$NAME<^g>

where <esc> and <^g> are the appropriate chars.

Pete



Reply to: