My bash profile enhancement