The README shows multiple ways you could use the dotfiles.
I think use_dotfiles.sh script is maybe the wrong way for many of our engineers.
It assumes you're either OK with just using the shared-dotfiles or forking shared-dotfiles and modifying it for your own purposes.
It may be better to just recommend running the following as a beginner method:
$ echo 'source $HOME/dotfiles/on_site/bash_all.sh' >> $HOME/.bashrc
It only then assumes that bash_profile has been set up to source bashrc, which is probably the case for new users.
It lets you just add onto it by adding lines before/after the bash_all script and is a bit more flexible.
No changes to shared-dotfiles or forking required.
The README shows multiple ways you could use the dotfiles.
I think
use_dotfiles.shscript is maybe the wrong way for many of our engineers.It assumes you're either OK with just using the shared-dotfiles or forking shared-dotfiles and modifying it for your own purposes.
It may be better to just recommend running the following as a beginner method:
$ echo 'source $HOME/dotfiles/on_site/bash_all.sh' >> $HOME/.bashrcIt only then assumes that
bash_profilehas been set up to sourcebashrc, which is probably the case for new users.It lets you just add onto it by adding lines before/after the
bash_allscript and is a bit more flexible.No changes to shared-dotfiles or forking required.