improve bash colours
Merge branch 'master' into private

* master:
  improve bash colours