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

[Josh Triplett]

Package: libvte-2.90-common
Version: 1:0.34.6-1
Severity: normal
File: /etc/profile.d/vte.sh

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

-- System Information:
Debian Release: jessie/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 3.9-1-amd64 (SMP w/4 CPU cores)
Locale: LANG=C.UTF-8, LC_CTYPE=C.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

-- no debconf information