27 Jul
2016
27 Jul
'16
09:31
Hi Michal, On Wed, 27 Jul 2016, 11:22:32 +0200, Michal Hlavac wrote:
thanks Dominique,
I thought it's related to update, so I didn't change subject. Anyway I'll file a bug.
are you sure the file got completely _removed_? Its size is limited and you can change that using the $HISTFILESIZE and/or $HISTSIZE variables. It might just have been that your file grew too large and had been truncated, which is unfortunate when it happens, but to be expected and normal behaviour.
m.
HTH, cheers. l8er manfred