bashrc: HISTSIZE=5000
Merge branch 'master' of ssh://simon.psaux.de/home