bash: expand HISTSIZE from 3K to 100K

3k is not enough for me for week