OK, then we need to figure out the scope of how many people will likely set $PROMPT_COMMAND in their ~/.bashrc (i. e. which older releases had that in their /etc/skel/, or perhaps it was just added there manually). If that's reasonably small or has never been in /etc/skel/, we can revisit what's wrong with sourcing /etc/profile.d/ or fiddle with that accordingly.
> patching bash/zsh to automatically emit OSC 7 That would be a question for Matthias Klose (our bash maintainer), but what does that mean? Googling for "OSC 7" isn't very useful, I'm afraid :) Thanks, Martin ** Summary changed: - gnome-terminal >= 3.7 requires sourcing of vte.sh login script -- go back to reading /proc/pid/cwd + gnome-terminal >= 3.7 requires sourcing of vte.sh login script -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1132700 Title: gnome-terminal >= 3.7 requires sourcing of vte.sh login script Status in GNOME Terminal: New Status in “gnome-terminal” package in Ubuntu: Triaged Bug description: As of gnome-terminal 3.7.0, it is required to add the following to PS1 to get the usual behaviour where a new terminal opens with the current working directory of the terminal you activated it from. export PS1='\[$(__vte_ps1)\]'$PS1 gnome-terminal devs suggest to put this in .bashrc, however since this basically causes a regression, it would make sense to deal with it at a distro level and perhaps include it in the system bash scripts or similar. The actual change was made in libvte so this may potentially affect any application that uses that library. As a side note: __vte_ps1() is provided by /etc/profile.d/vte.sh, which is installed by libvte, however atleast on my system this script is not getting sourced at login for some reason. To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/1132700/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp