My $HOME/.history file (i.e. the command history for RRZE's default shell [t]csh) is very very large.