Public bug reported:
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.
** Affects: gnome-terminal (Ubuntu)
Importance: Undecided
Status: New
--
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:
PS1 arguments required for gnome-terminal > 3.7.0
Status in “gnome-terminal” package in Ubuntu:
New
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/ubuntu/+source/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
