From 2e634bc19919d8205ba4e133ae4630cc1da845bd Mon Sep 17 00:00:00 2001
From: Adeeb Shihadeh <adeebshihadeh@gmail.com>
Date: Thu, 27 Jul 2023 00:31:42 -0700
Subject: [PATCH] macOS: use bash_profile instead of bashrc (#29165)

Co-authored-by: Adeeb Shihadeh <adeebshihadeh@Adeebs-MacBook-Air.local>
---
 tools/mac_setup.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/mac_setup.sh b/tools/mac_setup.sh
index 9d0b6580ca..4a4cc0c65d 100755
--- 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