~/.bashrc or ~/.bash_profile for env variables used in CoMorMent demos?

[ofrei]

Root-level README.md file says this:

export PATH="/home/$USER/bin:$PATH"        # good idea to put this in your ~/.bashrc or ~/.bash_profile

And also the following, referring to SINGULARITY_BIND and other env variables we expect the user to have:

To simplify instructions throughout this repository we use certain variables (it's a good idea to include them in your .bashrc or similar):

Would it be ~/.bashrc or ~/.bash_profile that users are more likely to use? Here is all I know about the difference between these two https://apple.stackexchange.com/questions/51036/what-is-the-difference-between-bash-profile-and-bashrc - and it's not immediately clear which one is better...

[espenhgn]

At the top of my head, these files may be specific to the OS/shell application in use. In a Linux machine the precedence of these files is defined via /etc/profile I think:

root@a211646a00bf:/home# cat /etc/profile
# /etc/profile: system-wide .profile file for the Bourne shell (sh(1))
# and Bourne compatible shells (bash(1), ksh(1), ash(1), ...).

if [ "${PS1-}" ]; then
  if [ "${BASH-}" ] && [ "$BASH" != "/bin/sh" ]; then
    # The file bash.bashrc already sets the default PS1.
    # PS1='\h:\w\$ '
    if [ -f /etc/bash.bashrc ]; then
      . /etc/bash.bashrc
    fi
  else
    if [ "`id -u`" -eq 0 ]; then
      PS1='# '
    else
      PS1='$ '
    fi
  fi
fi

if [ -d /etc/profile.d ]; then
  for i in /etc/profile.d/*.sh; do
    if [ -r $i ]; then
      . $i
    fi
  done
  unset i
fi

I think we can write ".bashrc or equivalent file". In macos this file is now .zshrc for instance.

[github-actions]

This issue appears to be stale due to non-activity