edit bashrc; add HISTSIZE=10000 to enlarge history size of bash