Minor edits to bash and shortcuts files