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 Ubuntu Desktop Bugs, 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 To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-terminal/+bug/1132700/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs