My installer uses <addDirectoryToPath>. On Linux (Ubuntu/Debian), it adds entries to both the $HOME/.bashrc and $HOME/.profile files. However, my $HOME/.profile file includes the following code:
# if running bash if [ -n "$BASH_VERSION" ]; then # include .bashrc if it exists if [ -f "$HOME/.bashrc" ]; then . "$HOME/.bashrc" fi fi
As a result, my new path is added to the $PATH two times and my path looks like this:
Considering all the different flavors of Linux, isn't there a better way to update the $PATH without appending it twice?
Please sign in to leave a comment.