gitdocs/bin to $PATH in .bashrc