Package: bash Version: 3.2-4 Severity: normal
Hi, Using the following settings duplicate entries in history are not deleted: $ cat rc HISTCONTROL=erasedups HISTFILE=hist EDITOR='sed -i '\''s/$/ ; exit/'\' INPUTRC=input $ cat input RETURN: edit-and-execute-command Try to call "bash -rcfile rc" a few times and type the same command, then check "hist". If you try to change 'exit' with, say, 'return' erasedups works as it should. luca -- System Information: Debian Release: 5.0 APT prefers unstable APT policy: (500, 'unstable'), (500, 'testing'), (500, 'stable'), (1, 'experimental') Architecture: i386 (i686) Kernel: Linux 2.6.26.5 Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/bash Versions of packages bash depends on: ii base-files 5 Debian base system miscellaneous f ii debianutils 2.30 Miscellaneous utilities specific t ii libc6 2.7-16 GNU C Library: Shared libraries ii libncurses5 5.7+20081129-1 shared libraries for terminal hand Versions of packages bash recommends: pn bash-completion <none> (no description available) Versions of packages bash suggests: pn bash-doc <none> (no description available) -- no debconf information -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
