[Expired for gnome-terminal (Ubuntu) because there has been no activity
for 60 days.]
** Changed in: gnome-terminal (Ubuntu)
Status: Incomplete => Expired
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu
Hi,
I think this is a duplicata of:
https://bugs.launchpad.net/ubuntu/+source/bash/+bug/725327
Apparently, for bash, this is an intended change: see
https://bugs.launchpad.net/ubuntu/+source/bash/+bug/725327/comments/6
Anyway, if bash's behavior changed, it is now to its GUI shell (i.e.
gnome
In xterm - same
--
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/740346
Title:
History in gnome-terminal not saving after close terminal
--
desktop-bugs mailing list
desktop
do you get the same using xterm or terminator?
** Changed in: gnome-terminal (Ubuntu)
Status: Confirmed => Incomplete
--
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/740
** Changed in: gnome-terminal (Ubuntu)
Status: New => Confirmed
--
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/740346
Title:
History in gnome-terminal not saving afte
** Summary changed:
- History in gnome-terminal not saving after close
+ History in gnome-terminal not saving after close terminal
--
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/bu
