A few more nuggets added to BASH profile