#715202 Should not set terminal title; already set more usefully in default .bashrc

Package:
libvte-2.91-common
Source:
vte2.91
Description:
Terminal emulator widget for GTK+ 3.0 - common files
Submitter:
Josh Triplett
Date:
2015-12-27 13:57:12 UTC
Severity:
normal
#715202#3
Date:
2013-07-06 21:38:11 UTC
From:
To:
The default .bashrc automatically sets the terminal title when TERM
matches xterm*, and that includes vte/gnome-terminal.  That default
title set in .bashrc includes several nice enhancements over the one in
vte.sh, notably the debian_chroot variable.  Furthermore, the user may
have customized that title in their personal ~/.bashrc .  However,
vte.sh sets PROMPT_COMMAND to a command that sets both the terminal
title and the directory URL.  In addition to setting the title twice,
if the titles actually differ (either due to debian_chroot or because
the user customized it), this will produce an unpleasant flicker as the
title gets set to vte.sh's title and then immediately set to the
different title.

Please change the default PROMPT_COMMAND to __vte_osc7, which only sets
the directory URL.

Thanks,
Josh Triplett

#715202#8
Date:
2015-12-27 13:36:58 UTC
From:
To:
Dear submitter,

as the package vte3 has just been removed from the Debian archive
unstable we hereby close the associated bug reports.  We are sorry
that we couldn't deal with your issue properly.

For details on the removal, please see https://bugs.debian.org/807568

The version of this package that was in Debian prior to this removal
can still be found using http://snapshot.debian.org/.

This message was generated automatically; if you believe that there is
a problem with it please contact the archive administrators by mailing
ftpmaster@ftp-master.debian.org.

Debian distribution maintenance software
pp.
Luca Falavigna (the ftpmaster behind the curtain)