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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
