Update the applicable bash profile file (#498)

pull/531/head
zstadler 2023-11-21 17:46:36 +02:00 committed by GitHub
parent 2c7440768d
commit a257678c4f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions

View File

@ -50,6 +50,10 @@ if [[ "$SHELL" == *zsh ]]; then
elif [[ "$SHELL" == *bash ]]; then
if [ -e ~/.bash_profile ]; then
update_profile ~/.bash_profile
elif [ -e ~/.bash_login ]; then
update_profile ~/.bash_login
elif [ -e ~/.profile ]; then
update_profile ~/.profile
else
echo "Could not find bash configuration file to update PATH"
fi