Package: bash Version: 4.2-5ubuntu3 Severity: normal If I quit my GNOME session and I have an open gnome-terminal with bash running in it, the history is not saved.
It’s not obvious to me whose bug this really is, so I thought I’d start at the bottom; apologies if I got it wrong. -- System Information: Debian Release: wheezy/sid APT prefers raring-updates APT policy: (500, 'raring-updates'), (500, 'raring-security'), (500, 'raring') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 3.8.0-25-generic (SMP w/4 CPU cores) Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Versions of packages bash depends on: ii base-files 6.12ubuntu2 ii dash 0.5.7-3ubuntu1 ii debianutils 4.3.4 ii libc6 2.17-0ubuntu5 ii libtinfo5 5.9-10ubuntu4 Versions of packages bash recommends: ii bash-completion 1:2.0-1ubuntu3 Versions of packages bash suggests: ii bash-doc 4.2-5ubuntu3 -- no debconf information -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
