diff options
| author | OpportunityLiu <[email protected]> | 2019-07-18 20:48:22 +0800 |
|---|---|---|
| committer | OpportunityLiu <[email protected]> | 2019-07-18 20:48:22 +0800 |
| commit | 74909f788acd34051cf4d32e94b5bcfe1f2c292b (patch) | |
| tree | 24131b412438a2a97bed7643c5c9d5b61c35f417 /scripts | |
| parent | 85eb16ea22b00d1b35e2b3bd3ce88b9c73eca9b4 (diff) | |
fix get.sh
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/get.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/get.sh b/scripts/get.sh index ed8db71be..8e1afdf74 100755 --- a/scripts/get.sh +++ b/scripts/get.sh @@ -183,8 +183,9 @@ fi if [[ "$SHELL" = */zsh ]]; then write_profile ~/.zshrc elif [[ "$SHELL" = */ksh ]]; then write_profile ~/.kshrc elif [[ "$SHELL" = */bash ]]; then write_profile ~/.bashrc + else write_profile ~/.bash_profile fi - write_profile ~/.bash_profile + } install_profile if xmake --version >/dev/null 2>&1; then xmake --version; else |