I finally found out what went wrong: due to some or other update script (I suppose) environment variables were written into ~/.bashrc. Including the HISTFILESIZE, which was set to 2000.
Setting HISTFILESIZE to another value worked, but when an xterm was started the .bash_history was truncated to 2000. R. -- ___________________________________________________________________ It is better to remain silent and be thought a fool, than to speak aloud and remove all doubt. +------------------------------------------------------------------+ | Richard Lucassen, Utrecht | +------------------------------------------------------------------+ -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
