Add `$` signs to bash prompts
Merge pull request #553 from d10/docs

Add `$` signs to bash prompts. [ci skip]