Bash-History schrumpft immer wieder

[Andre Tann <atann@alphasrv.net>]

Servus zusammen,

aus meiner .bashrc:

	export HISTSIZE=50000
	export HISTFILESIZE=50000
	shopt -s histappend
	export HISTIGNORE='*PROMPT_COMMAND=*'
	export HISTCONTROL="erasedups"
	export HISTTIMEFORMAT=" %Y%m%d-%H%M "

Das kommt auch an:

	$ echo $HISTFILESIZE $HISTSIZE $HISTIGNORE $HISTCONTROL \
		$HISTTIMEFORMAT
	50000 50000 *PROMPT_COMMAND=* erasedups %Y%m%d-%H%M


Trotzdem fehlen mir immer wieder Zeilen, und überhaupt ist die History
nur 1700 Zeilen lang. Das kann nicht sein, das müßten viel mehr Zeilen
sein.

Woran könnte es liegen, daß die History vergeßlich ist?

Danke+Gruß!

-- 
Andre Tann