Comment 12 for bug 1132700

Revision history for this message
Martin Pitt (pitti) wrote :

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