My bash profile scripts, to sync between machines