desktop-packages team mailing list archive
-
desktop-packages team
-
Mailing list archive
-
Message #74505
[Bug 1132700] Re: gnome-terminal >= 3.7 requires sourcing of vte.sh login script
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