Bug#706065: libvte-2.90-common: /etc/profile.d/vte.sh is not sourced by interactive shells

Fabian Greffrath fabian at greffrath.com
Wed Jun 5 08:53:25 UTC 2013


I'd like to add that since the vte.sh script has been improved in
version vte3-0.34.5, it is sufficient to only source
". /etc/profile.d/vte.sh" in ~/.bashrc, i.e. without changing the
prompt. This will be required as long as Debian's bash does not
source /etc/profile for non-login shells or as long as there is
no /etc/bashrc.d pendant for it (see #675008).

However, until this is addressed downstream (i.e. in Debian's bash
package) a short notice like this (taken from gnome-terminal's NEWS file
and slightly adapted) in debian/NEWS or debian/README would be very
appreciated:

"
 * To make new tabs opened within Gnome Terminal have the same same
   working directory as the current tab, it is necessary for the shell
   running in the terminal to cooperate. For this, vte installs a bash
   shell script that you must source in your ~/.bashrc. For example, you
   can put this at the end of your ~/.bashrc:

   [[ -s "/etc/profile.d/vte.sh" ]] && . "/etc/profile.d/vte.sh"
"

 - Fabian



More information about the pkg-gnome-maintainers mailing list