macOS: use bash_profile instead of bashrc (#29165)

Co-authored-by: Adeeb Shihadeh <adeebshihadeh@Adeebs-MacBook-Air.local>
2 years ago · 2e634bc199
parent 156c7a84e8
commit 2e634bc199
1 changed files with 1 additions and 1 deletions
--- a/tools/mac_setup.sh
+++ b/tools/mac_setup.sh
@ -9,7 +9,7 @@ ARCH=$(uname -m)
 if [[ $SHELL == "/bin/zsh" ]]; then
  RC_FILE="$HOME/.zshrc"
 elif [[ $SHELL == "/bin/bash" ]]; then
-  RC_FILE="$HOME/.bashrc"
+  RC_FILE="$HOME/.bash_profile"
 fi

 # Install brew if required