Bug#712127: gnome-terminal doesn't remember open tabs from previous session

2013-07-15 Thread Michael Biebl
Am 16.07.2013 00:16, schrieb Gábor Gombás: > Package: gnome-terminal > Version: 3.8.3-1 > Followup-For: Bug #712127 > > Hi, > > Well, I do have /etc/profile.d/vte.sh sourced, but that does not seem to > do anything to address gnome-terminal no longer being saved as part of > the session, and thus

Bug#712127: gnome-terminal doesn't remember open tabs from previous session

2013-07-15 Thread Gábor Gombás
Package: gnome-terminal Version: 3.8.3-1 Followup-For: Bug #712127 Hi, Well, I do have /etc/profile.d/vte.sh sourced, but that does not seem to do anything to address gnome-terminal no longer being saved as part of the session, and thus not re-started next time I log in. Gabor -- System Informa

Bug#712127: gnome-terminal doesn't remember open tabs from previous session

2013-06-13 Thread Michael Biebl
Am 13.06.2013 10:24, schrieb Andreas Schmidt: > Package: gnome-terminal > Version: 3.8.3-1 > Severity: important > > Dear Maintainer, > > after the latest updates to Gnome, gnome-terminal is not any longer > automatically started on logging in. Moreover, between sessions the open tabs > are lost.

Bug#712127: gnome-terminal doesn't remember open tabs from previous session

2013-06-13 Thread Andreas Schmidt
Package: gnome-terminal Version: 3.8.3-1 Severity: important Dear Maintainer, after the latest updates to Gnome, gnome-terminal is not any longer automatically started on logging in. Moreover, between sessions the open tabs are lost. While I could login to a new session before, with gnome-termina